OpenAI's Navier-Stokes proof draft draws a $50-vs-$5k bet settled in 2027
ctjlewis · x · 2026-10-09
- OpenAI researcher Elliot Glazer has agreed to a $50-vs-$5,000 bet on whether the math community will broadly accept OpenAI's draft proof of finite-time blowup of the Navier-Stokes equations by October 9, 2027, proposing an impartial adjudicator if needed.
- Skeptic ryananderson3 has only minor doubts but argues that pointing an agent at a lean goal and claiming "Navier-Stokes solved" isn't sufficient—a major point of mathematical research is communication.
- The wager captures the tension between AI-assisted proofs being correct and being accepted.
More from Fun
- ChatGPT web bug: editing an older prompt after page refresh appends it as a new message — Moon_Dew · 2026-10-09
- One prompt and a track: Opus 5.5 autonomously ships a finished product in 12 hours — FinanceYF5 · 2026-10-09
- 'Attention Is All You Need' reposted as if it just dropped: 'might rival LSTM' — egrefen · 2026-10-09
- 2008 photo of Sam Altman at an Apple event resurfaces, compared to the Thanos teaser — menhguin · 2026-10-09
- Therapist runs paid therapy sessions inside viral Lagos Life game, paid to real bank account — omojumiller · 2026-10-09
- One Year, Two Fumbles: Anthropic and OpenAI Both Leap Ahead Then Stumble — IndraVahan · 2026-10-09