Wow. Yet another major step toward AGI by Google DeepMind!
Google DeepMind. AI achieves silver-medal standard solving International Mathematical Olympiad problems
Published 25 JULY 2024
Authors AlphaProof and AlphaGeometry teams
Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematics
Artificial general intelligence (AGI) with advanced mathematical reasoning has the potential to unlock new frontiers in science and technology.
We’ve made great progress building AI systems that help mathematicians discover new insights, novel algorithms and answers to open problems. But current AI systems still struggle with solving general math problems because of limitations in reasoning skills and training data.
Today, we present AlphaProof, a new reinforcement-learning based system for formal math reasoning, and AlphaGeometry 2, an improved version of our geometry-solving system. Together, these systems solved four out of six problems from this year’s International Mathematical Olympiad (IMO), achieving the same level as a silver medalist in the competition for the first time.
Advanced mathematical reasoning is a critical capability for modern AI. Today we announce a major milestone in a longstanding grand challenge: our hybrid AI system attained the equivalent of a silver medal at this year’s International Math Olympiad! https://t.co/O1QvMC02uM
— Demis Hassabis (@demishassabis) July 25, 2024