首页/科技/Hacker NewsHacker NewsOpenAI’s Navier-Stokes release included a Lean 4 formal proofibobev2026年9月11日 05:22查看原文Comments on Hacker News | Source