Tag
1 article tagged with this topic
OpenAI says a swarm of roughly 10,000 AI agents produced a Lean-formalized proof for the 90-year-old Navier–Stokes existence and smoothness problem — one of math's seven Millennium Prize Problems. Here's what the claim actually says, and what still needs independent verification.
Sep 12, 2026
