Google DeepMind has unveiled two new AI systems that collectively solved four of six problems from this year's International Mathematical Olympiad (IMO), performing at the level of a silver medalist.
Google DeepMind has announced a new reinforcement learning-based system for formal mathematical reasoning called 'AlphaProof' and a geometry solving system called 'AlphaGeometry 2.' The combination of ...
Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, conducting encyclopedic surveys of academic literature, and even finding ...
Landmark results in geometry and number theory marked an exciting year for mathematics, at a time when advances in artificial intelligence are starting to transform the subject’s future. In May, a ...
An AI from Google DeepMind has achieved a silver medal score at this year’s International Mathematical Olympiad (IMO), the first time any AI has made it to the podium. The IMO is considered the ...
Doha, Qatar: A student team representing the State of Qatar has participated for the first time in the 66th edition of the International Mathematical Olympiad (IMO) 2025, hosted in Australia, from ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results