OpenAI News·2026-10-06 20:00· 12 小时前精选AI 评分62

OpenAI 公布内部前沿模型在数学开放问题上的新结果

Sharing AI progress in mathematics

AI 导读

OpenAI 发布内部前沿模型在数学开放问题上的新结果，并公开 Lean 证明形式化与研究细节，相关材料已上传至 GitHub。

推荐理由

OpenAI 公开内部前沿模型在数学开放问题上的结果与 Lean 形式化证明，可了解其推理能力边界。

来源：OpenAI News · openai.com

#论文/研究 #推理 #开源生态 #OpenAI #GitHub