mathematics
Posts tagged “mathematics”.
-
AI Brief, 9 September 2026: a Millennium Prize problem, claimed and unchecked
OpenAI says an unnamed internal model produced a finite-time blowup proof for 3D Navier-Stokes, and shipped 616,276 lines of Lean with it. No mathematician outside the company has read the 166-page argument. Six hours earlier a rival author published a statement about how the credit was negotiated. And a US joint advisory names six Chinese AI firms without once using the word theft.