Google’s AlphaProof and AlphaGeometry 2 set new benchmarks in AI math-solving
Google’s new AI systems, AlphaProof and AlphaGeometry 2, solved four out of six questions at the 2024 International Math Olympiad, demonstrating advanced reasoning capabilities in abstract mathematics.
Alphabet’s Google has revealed two innovative AI systems, AlphaProof and AlphaGeometry 2, which demonstrate significant advancements in solving complex mathematical problems. These systems tackled abstract math more effectively than previous AI models, showcasing enhanced reasoning capabilities.
DeepMind, Google’s AI unit, reported that these models managed to solve four out of six questions at the 2024 International Math Olympiad. AlphaProof, which integrates the Gemini language model with the AlphaZero system, solved three problems, including the most challenging one, while AlphaGeometry 2 solved another.
These achievements mark the best performance by an AI system in the competition to date, with some problems solved in minutes and others taking up to three days. Meanwhile, Microsoft-backed OpenAI is developing a similar project known as ‘Strawberry,’ raising concerns among its staff about its potential impact on humanity.
About author
DW Team
The GIP Digital Watch Observatory team, consisting of over 30 digital policy experts from around the world, excels in the fields of research and analysis on digital policy issues. The team is backed by the creative prowess of Creative Lab Diplo and the technical expertise of the Diplo tech team.