Scholars Question Whether Anyone Understands OpenAI's Navier-Stokes Proof

Despite ChatGPT's rapid progress in mathematical proofs, scholar Hernán López notes that no one has claimed to fully read and understand OpenAI's Navier-Stokes proof, raising verification concerns in the Spanish-speaking academic community.

2026-10-08 ~ 2026-10-09 · 2 related posts

• "No human has read OpenAI's Navier-Stokes proof" — critic refuses to call it proven — janarhertz · 2026-10-08
• No human has read OpenAI's Navier-Stokes proof, says critic — formal verification alone isn't proof — gerardsans · 2026-10-09