Fact-check: Clay has not declared Navier–Stokes solved; prize review has strict rules
burny_tech · x · 2026-10-14
Pushing back on claims that "Clay says Navier–Stokes has apparently been settled," the author clarifies this is false: Clay's website still lists the problem as active, with no declaration that it is solved. Clay's September statement only said "the process is deliberately unhurried, but we will provide updates" — no updates since.
Per the prize rules, the proof must first be published in a refereed qualifying outlet; the OpenAI proof has been neither refereed nor published. Even after publication, the award can only be granted two years later under the rules. Context: a Fields Medallist at OpenAI, Jacob Tsimerman, had argued mathematicians are underplaying that AI solved a Millennium Prize problem.
More from Research
- Revisiting STaR: models self-improve by training only on rationales that reach correct answers — AndrewLampinen · 2026-10-14
- Google researcher: having models write new training data via ICL improves finetuning generalization — AndrewLampinen · 2026-10-14
- Study: model collapse doesn't happen when synthetic data accumulates, even without new real data — AndrewLampinen · 2026-10-14
- Synthetic data cuts loss on real distribution and yields 1.8x data efficiency in constrained pretraining — AndrewLampinen · 2026-10-14
- AlphaNIST robot training: Newton physics plus sparse reward did the heavy lifting — milesmacklin · 2026-10-14
- Modal Trains RL on Mixed Accelerators, Cutting Cost While Matching Homogeneous Stability — charles_irl · 2026-10-14