https://news.mrlatte.net/en/p/lean-autoformalization-navier-stokes-mismatch/Mr. Latte Newsen2026-10-10T03:00:00+09:00Lean checked a different statement: a paper on the formalization of OpenAI's Navier-Stokes proof