Receipts

• primaryhttps://openai.com/index/navier-stokes-solution/
• alsohttps://www.cnn.com/2026/09/09/business/openai-millennium-problems-navier-stokes-hnk
• alsohttps://www.quantamagazine.org/ai-has-solved-one-of-maths-1-million-millennium-prize-problem-20260908/
• alsohttps://www.axios.com/2026/09/08/openai-math-solution-navier-stokes-credit
• alsohttps://fortune.com/2026/09/08/openai-says-it-cracked-navier-stokes-math-grand-challenge-buckmaster-accusation-cheating-intimidation-tao-lament/
• alsohttps://www.nature.com/articles/d41586-026-02842-5

Flagged:The proof itself and the credit dispute are separately sourced: OpenAI's own post plus Nature and Quanta cover the Lean-verified math (88 hours, ~10,000 concurrent agents, finite-time blowup result), independent of who behaved how. The dispute sequence and quotes (Buckmaster's cheating/intimidation allegations, Bubeck's denial, Tao's 'marketing proof points' / archaeological-site-looting critique) are Fortune's reporting, corroborated by Axios's own account of the same timeline. Every disputed claim is attributed to its source in the captions (Buckmaster alleges / Bubeck denies) rather than stated as settled fact — Bubeck denies intimidation and calls the exchange normal academic negotiation. Alpöge and Buckmaster's own work is confirmed to address a related but distinct problem (forced Euler equations, not Navier-Stokes), per OpenAI's own account of learning this after reaching out. OpenAI brand color #10A37F used for the card's background wordmark, per its own favicon (cross-checked against the existing openai-astra-critical-cyber and openai-agents-wiki-hijack cards' sourcing notes).