News
4mon
Tech Xplore on MSNDeepMind AI achieves gold-medal level performance on challenging Olympiad math questions - MSNA team of researchers at Google's DeepMind project, reports that its AlphaGeometry2 AI performed at a gold-medal level when ...
Indeed, this past summer, DeepMind demoed a system that combined AlphaGeometry2 with AlphaProof, an AI model for formal math reasoning, to solve four out of six problems from the 2024 IMO.
To test their programs, the DeepMind researchers had the two AI systems compete in this year’s Math Olympiad. The team first had to manually translate the problems into Lean.
Results that may be inaccessible to you are currently showing.
Hide inaccessible results