Topic
4 posts about Mathematics from Simon Carter.
On 26 October 2026, OpenAI published an AI-generated disproof of the Exponential Time Hypothesis, verified in Lean, with open data and community funding.
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.
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.
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.