Hosted on MSN1mon
DeepMind claims its AI performs better than International Mathematical Olympiad gold medalistsIndeed, 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.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback