It was the first time a machine — which solved five of the six problems at the 2025 competition, held in Australia this month — reached that level of success, Google said in a blog post on Monday.

Humans beat AI programs made by Google and OpenAI at an international mathematics competition, but the technology shows some "very exciting" progress.

The artificial intelligence start-up said the new system, OpenAI o3, outperformed leading A.I. technologies on tests that rate skills in math, science, coding and logic.

Google DeepMind’s new AI systems can now solve complex math problems AlphaProof and AlphaGeometry 2 are steps toward building systems that can reason, which could unlock exciting new capabilities.