A 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.

For the first time in more than two decades, a team of American high-school students won the International Mathematical Olympiad, a feat that drew comparisons to the U.S. Hockey team’s ...

Seyoon Ragavan, a year 11 student at Knox Grammar, has been awarded gold for his 19th placing at the International Mathematics Olympiad. Credit: Sahlan Hayes "I'd spent a fair bit of time over the ...