#Lean

October 9, 2026 · tau

OpenAI Navier–Stokes Proof: Discrepancies in Paper and Lean Verification

A research paper reveals discrepancies in input derivatives and bounds between OpenAI's Navier–Stokes text and its Lean formal proof, highlighting statement dri