We’re delighted to be supported by the Google.org x Google DeepMind AI for Math Initiative, which was launched today. The new generation of AI tools will transform research on the foundations of computing, and this new initiative is poised to accelerate that. Also joining the consortium are Imperial College London, Institute for Advanced Study, Institut des Hautes Études Scientifiques - IHES, and Tata Institute of Fundamental Research.
We’re introducing the AI for Math initiative, bringing together leading institutions: Imperial College London, Institute for Advanced Study, Institut des Hautes Études Scientifiques - IHES, Simons Institute for the Theory of Computing, and Tata Institute of Fundamental Research who are pioneering the use of AI in mathematics. With funding from Google.org, these partners will gain access to our state-of-the-art technologies, including: 🔹 Gemini Deep Think, our enhanced reasoning model. 🔹 AlphaEvolve, our agent to help discover new algorithms. 🔹 AlphaProof, able to solve advanced reasoning problems in maths. By empowering world-leading mathematicians, we're helping open new research pathways and accelerating breakthroughs across science and mathematics. → https://goo.gle/4hBIYF1