← 返回 AIRadar 首页

OpenAI 内部前沿模型攻克数学开放问题，公开 Lean 形式化证明

OpenAI 发布内部前沿模型在数学开放问题上的新成果，并在 GitHub 公开 Lean 形式化证明与研究细节，推动 AI 数学推理透明化。