Top institutes team up with Google DeepMind to spearhead AI-assisted mathematics

Google DeepMind and elite institutes join forces to test AI as a collaborator for proofs, algorithms, and open problems.
Google's partners will build datasets, standards, and reproducible tooling to advance AI-assisted mathematics responsibly.

AI for Math Initiative pairs Google DeepMind with five elite institutes to apply advanced AI to open problems and proofs. Partners include Imperial, IAS, IHES, the Simons Institute at UC Berkeley, and TIFR. The goal is to accelerate discovery, tooling, and training.

Google support spans funding and access to Gemini Deep Think, AlphaEvolve for algorithm discovery, and AlphaProof for formal reasoning. Combined systems complement human intuition, scale exploration, and tighten feedback loops between theory and applied AI.

Recent benchmarks show rapid gains. Deep Think enabled Gemini to reach gold-medal IMO performance, perfectly solving five of six problems for 35 points. AlphaGeometry and AlphaProof earlier achieved silver-level competence on Olympiad-style tasks.

AlphaEvolve pushed the frontiers of analysis, geometry, combinatorics, and number theory, improving the best results on 1/5 of 50 open problems. Researchers also uncovered a 4×4 matrix-multiplication method that uses 48 multiplications, surpassing the 1969 record.

Partners will co-develop datasets, standards, and open tools, while studying limits where AI helps or hinders progress. Workstreams include formal verification, conjecture generation, and proof search, emphasising reproducibility, transparency, and responsible collaboration.

Would you like to learn more about AI, tech, and digital diplomacy? If so, ask our Diplo chatbot!