Harvard mathematicians split on whether AI proofs need human understanding after OpenAI's Navier-Stokes claim
rohanpaul_ai · x · 2026-10-22
Harvard mathematicians are divided over how far AI should go in their field following OpenAI's claim of an AI-generated solution to a decades-old math problem (Navier-Stokes).
Key argument: a proof does two things — it shows a statement is true, and it teaches other mathematicians a reusable method. AI proofs often deliver only the first. Mathematicians value proofs for certainty and technique; an AI proof nobody understands provides certainty while withholding the technique.
Related event: OpenAI's Navier-Stokes claim splits Harvard mathematicians over AI proofs(2 posts)→
More from AGI Musings
- Matt Turck: in AI, everyone is competing with everyone — chips, models, clouds and apps all overlap — mattturck · 2026-10-22
- Anthropic researchers publish essay on technological progress and the meaning of work — paulnovosad · 2026-10-22
- ARK's Sam Korus: Tesla Optimus academy and David Silver's super learner converge — skorusARK · 2026-10-22
- Chinese essay: in the AI era, individuality becomes extractable data representation — teortaxesTex · 2026-10-22
- VraserX mocks Dario Amodei: those warning about AI want to decide who gets access — VraserX · 2026-10-22
- We're close to losing the ability to see what AIs are actually thinking — Puzzleheaded-King584 · 2026-10-22