#形式化证明

OpenAI 公开 AI 做数学的结果，附 Lean 证明

OpenAI 把内部前沿模型做出的数学结果放到 GitHub，附上可机器验证的 Lean 证明，还公开了 10 份推理摘要。读完你能分清哪些是可以检查的成果，哪些只是新闻标题里的说法。