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.

Tristan Thomas, a grade 10 student of Munro College, surprised himself by walking away with the top award for his form at this year’s staging of the Jamaican Mathematical Olympiad. According to ...

Google DeepMind, Alphabet Inc.’s artificial intelligence research division, said it has made strides in solving complex math problems, an area that remains challenging for today’s AI programs ...

Read about the historic achievement of the Indian high school students at the International Mathematics Olympiad 2024 where they secured four gold medals. Find out more about their remarkable ...

EGMO, an annual mathematics competition, was held last week from April 11 to 17, with at least 50 countries participating in the competition June 4, 2025 e-Paper LOGIN Account ...

China lost its sixth consecutive International Mathematical Olympiad (IMO) on Monday, trailing the US by two points, but young genius Shi Haojia once again achieved a perfect score in the world ...

A six-member Indian team created history at the International Mathematics Olympiad this year: the team ranked fourth among teams from 108 participating countries — the country’s highest rank ...

Ananda's journey to securing the fourth position at the 65th International Mathematical Olympiad is a testament to raw talent, unwavering determination, and the power of dreams. A Sophie Fellow with ...

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.

The company’s AlphaGeometry 2 reaches the level of gold-medal students in the International Mathematical Olympiad.