AlphaEvolve: AI-Powered Mathematical Discovery at Scale Google DeepMind's AlphaEvolve is moving the bar yet again in how artificial intelligence tackles mathematical discovery. Published (preprint) in November 2025 by researchers Bogdan Georgiev, e t al at... AI AlphaProof automated reasoning combinatorics DeepMind evolutionary computation FunSearch large language models machine learning mathematical discovery mathematics optimization Terence Tao
Google DeepMind’s AI for Math Initiative Is Transforming Mathematical Discovery Google DeepMind’s new AI for Math Initiative sets out to unite leading global research institutions and deploying advanced AI tools, in a collaboration that aims to unlock breakthroughs that could rip... AI algorithm discovery DeepMind mathematical proofs mathematics research scientific collaboration
How AI Became a Math Powerhouse: From Struggling Student to Innovative Collaborator Artificial intelligence has quickly evolved, moving from a limited ability to solve graduate-level math to outperforming human students on complex problems. This evolution is influencing not only the ... artificial intelligence DeepMind education machine learning mathematics research innovation theorem proving