Mathematics — Simon Carter

OpenAI's unreleased model solves a Millennium Prize maths problem: and the controversy may matter as much as the proof

10,000 AI agents, 88 hours, and a Lean-verified proof of finite-time singularity in Navier: Stokes. Here's what happened and why it matters.

8 September 2026

Agents & Automation

Claude proved Fermat's Last Theorem in 11 days: and a computer checked every step

Anthropic's multi-agent Claude system produced a machine-verified formal proof of Fermat's Last Theorem in 11 days, writing 13 million lines of Lean 4 code.

5 September 2026

Models & Assistants

Claude improved a 160-year-old maths bound by 25 percentage points in 36 hours

An unreleased Claude research model advanced the Riemann zeta function lower bound from 41.6% to 67.2%, the largest single-step gain in history.

10 August 2026