Dev launches aggregator site collecting all statements on OpenAI's claimed Navier–Stokes proof
NathanpmYoung · x · 2026-09-09
NathanpmYoung is about to release "The Navier–Stokes Abrasion," a web tool that gathers the key statements around OpenAI's claimed proof of the Navier–Stokes problem: Buckmaster's statement, Bubeck's reply, OpenAI's announcement, and Terence Tao's post.
Users can vote on which statements are useful, add missing quotes or facts, and chat with the tool based only on the points they've ticked — a community-driven fact-checking effort for the AI-lab-vs-mathematicians dispute.
More from Models
- OpenAI claims a solution to the 90-year-old Navier-Stokes Millennium Prize Problem — Swarooprm7 · 2026-09-09
- Labs are 'insane' to sit on trained models for months, argues researcher — Darpinian · 2026-09-09
- OpenAI claims agent swarm solved the Navier-Stokes Millennium Prize Problem — soumitrashukla9 · 2026-09-09
- Rumor: Anthropic resetting usage limits daily for next 10 days — eigenron · 2026-09-09
- Solving a Millennium Prize Problem by typing 'continue' in Codex would be OpenAI's best ad — eigenron · 2026-09-09
- Astra 'suddenly different' overnight, users fume over silent model swaps and nerfs — natesiggard · 2026-09-09