Accelerating discovery with the AI for Math Initiative

This post announces the AI for Math Initiative, a collaboration between Google DeepMind and five research institutions. It highlights the use of Gemini Deep Think, AlphaEvolve, and AlphaProof as tools to accelerate mathematical discovery. Specifically, it details AlphaEvolve's discovery of a new matrix multiplication algorithm and its application in understanding computational limits. It also mentions Gemini Deep Think's gold-medal performance at the IMO and AlphaProof's silver-medal standard.