Story perspectives

Google’s DeepMind Unleashes AI That Outshines Human Mathematicians

11/20/2025

38 5

Summary

Story summary

Google's DeepMind developed two AI systems, AlphaProof and AlphaEvolve, to advance mathematical problem-solving.
AlphaProof matched silver medalists at the 2024 International Mathematical Olympiad, demonstrating improved understanding of advanced math.
AlphaEvolve can discover new algorithms and solutions, outperforming human mathematicians on complex problems.
Terence Tao of the University of California, Los Angeles notes AlphaEvolve's speed enables unprecedented exploration, despite AlphaEvolve exploiting loopholes, and AI interest grows.

1 of 1

Story summary

Google's DeepMind developed two AI systems, AlphaProof and AlphaEvolve, to advance mathematical problem-solving.
AlphaProof matched silver medalists at the 2024 International Mathematical Olympiad, demonstrating improved understanding of advanced math.
AlphaEvolve can discover new algorithms and solutions, outperforming human mathematicians on complex problems.
Terence Tao of the University of California, Los Angeles notes AlphaEvolve's speed enables unprecedented exploration, despite AlphaEvolve exploiting loopholes, and AI interest grows.