AI Briefing#ai-math
The latest AI and developer news about #ai-math, with the original source and a short summary.
The latest AI and developer news about #ai-math, with the original source and a short summary.
John Loeber describes the rapid transition to AI-dominated math, noting an unreleased OpenAI model disproved the Hadwiger Conjecture, while Navier-Stokes was resolved shortly after GPT-6 Astra's release.
OpenAI completed a Lean 4 formal proof of the Navier-Stokes equations, reducing verification costs to approximately 1/10 of previous estimates.
Anthropic has published the first fully mechanically verified proof of Fermat's Last Theorem using Claude.