OpenAI's proof unlocks Navier-Stokes mystery, but doubts linger
The release brought a machine-checkable proof into the open but understanding what that certificate can and cannot establish is its own kind of mathematics.
The Morning Two Proofs Appeared On the morning of September 8, 2026, two groups of researchers posted results on the same question whether certain equations governing fluid motion can break down in finite time and published machine-verifiable certificates alongside their papers. The overlap was not coincidence. It set off a priority dispute that continues to shape how the field understands what artificial intelligence can contribute to deep mathematics. OpenAI had spent roughly 10,000 AI agents working for 88...
Read more