Lean

OpenAI 公布数学开放问题新进展并开源代码

OpenAI 公布了内部前沿模型在数学开放问题上的新成果，并在 GitHub 上分享 Lean 证明形式化与详细研究资料，展示 AI 在数学推理方面的最新进展。