OpenAI's Navier-Stokes proof sparks debate: would an anonymous 500k-line proof even be verified?
kareem_carr · x · 2026-09-13
A dispute over OpenAI's Navier-Stokes mathematical proof has turned into a debate about trust in mathematics.
- @skdh's critique: had the proof been posted anonymously by an unknown introverted mathematician, people would be celebrating it as a breakthrough and analyzing it — instead of writing 'the demise of maths' takes. The community, he argues, judges by authorship rather than content.
- @kareemcarr counters: if a human-authored proof were half a million lines of poorly organized text with zero intuition for why it should be correct, nobody would invest the time to verify it — we wouldn't even know it was valid, let alone celebrate it. The proof's readability and verifiability are the real issue, not just its provenance.
The core tension: verifying very long AI-generated proofs vs. the intuition- and trust-based structure of traditional mathematical peer review.
Related event: OpenAI's 10,000-Agent Navier-Stokes Claim Sparks Math Community Credit War(18 posts)→
More from AGI Musings
- Nina Schick: who builds intelligence and how it's distributed is the defining question of our lives — NinaDSchick · 2026-10-31
- Cheap intelligence is like cheap bread — an ingredient list satire of mass-produced AI — jsuarez · 2026-10-31
- Two futures for the young in 2026: 511 job rejections by chatbot vs unlimited AI to rebuild Cisco — PeterDiamandis · 2026-10-31
- Source link for Terence Tao's warning on AI reaching a dangerous threshold — haider1 · 2026-10-31
- Terence Tao warns AI is nearing a dangerous threshold as models start cheating — haider1 · 2026-10-31
- Reddit stock plunges 42% in 8 trading days as CEO says AI mode no longer drives traffic — SumitGup · 2026-10-31