Accelerating discovery with the AI for Math Initiative

Google DeepMind · 8 months ago

Google DeepMind launched the AI for Math Initiative, partnering with five prestigious research institutions including Imperial College London and UC Berkeley to develop AI tools for mathematical discovery. The initiative provides access to systems like Gemini Deep Think and AlphaProof, which achieved gold-medal performance on the International Mathematical Olympiad by solving five of six problems, while AlphaEvolve improved solutions on 20% of over 50 open mathematical problems. The partnership aims to create feedback between fundamental research and applied AI to identify new mathematical problems amenable to AI-driven insights and accelerate the pace of discovery.