OpenAI's post on the Navier-Stokes Millennium Prize Problem. The companion cites its September 2026 report that some 10,000 agents, directed by people, produced in 88 hours a machine-checked proof that an initially smooth fluid at rest, under smooth forcing, can blow up in finite time. It counts as evidence for premise 1 of the long arc (C3), with the caveat that no outside check has been reported.
- Cited in
- the companion paper
- Used for
- C3
- Strand
- Frontier AI capabilities
Cite
@misc{openai2026navierstokes,
title = {On the Navier–Stokes Millennium Prize Problem},
author = {OpenAI},
year = {2026},
howpublished = {OpenAI},
url = {https://openai.com/index/navier-stokes-solution/},
}