Skip to content
AI News HubLIVE
More
Summary only

Google's 'AI Co-Mathematician' Arrives! Sets New SOTA on Hardest Math AI Benchmark, Oxford Professor Uses It to Solve Group Theory Puzzle

Google DeepMind introduces AI Co-Mathematician, a collaborative system that achieves 48% on FrontierMath Tier 4, surpassing GPT-5.5 Pro. Oxford mathematician Marc Lackenby solved a long-standing problem from Kourovka Notebook using the system.

Source量子位Author: 听雨
Google's 'AI Co-Mathematician' Arrives! Sets New SOTA on Hardest Math AI Benchmark, Oxford Professor Uses It to Solve Group Theory Puzzle
Report an error

The correction channel is not available yet. You can copy the article reference below for later.

Correction instructions

Summary only

Under the source content permission, this page provides an editorial summary, key points, and a link to the original article.

Key points and analysis

Article intelligence

EngineersAdvanced

Key points

  • Google's AI Co-Mathematician sets a new state-of-the-art on the FrontierMath Tier 4 benchmark with 48% accuracy.
  • The system helps mathematicians solve real problems, including a decades-old group theory question.
  • It features asynchronous collaboration with persistent tracking of failed hypotheses and automated review agents.

Highlights and analysis are generated automatically and may contain errors. Check the original source.

More recent stories on this topic · Models