16:19
2026-09-10
fromtheterminal.substack.com
artificial-intelligence
The Proof Is Real. The Credit Is Complicated.
OpenAI announced that an unreleased model resolved the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems, with agents exchanging 2.7 million messages and consu…