Logic（論理） A Passing Check, a Different Theorem Outside researchers found OpenAI's Lean proof differs from its written Navier–Stokes proof. A passing check certifies what was checked, not what was claimed. 2026.10.14 Logic（論理）
Logic（論理）