AI for Math Initiative to accelerate mathematical discovery

Google DeepMind and Google have launched the AI for Math Initiative to explore how AI can speed up mathematical research. The programme is backed by funding from Google.org and access to DeepMind technologies designed to support discovery. The inaugural partners are Imperial College London, the Institute for Advanced Study, Institut des Hautes Études Scientifiques (IHES), the Simons Institute for the Theory of Computing (UC Berkeley) and the Tata Institute of Fundamental Research (TIFR).

Partners will identify mathematical problems suited to AI-driven insight, build infrastructure and tools, and aim to accelerate the pace of discovery. Available technologies include an enhanced reasoning mode called Gemini Deep Think, an algorithm-discovery agent named AlphaEvolve, and a formal proof completion system, AlphaProof, creating a feedback loop between fundamental research and applied AI.

google deepmind, google.org, ai math, alphaevolve, alphaproof, gemini, formal proof, mathematical discovery, imperial college, simons institute