OpenAI News·2026-10-06 20:00· 18 小时前AI 评分57

OpenAI 公布内部前沿模型在数学开放问题上的进展并开源 Lean 证明形式化

Sharing AI progress in mathematics

AI 导读

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

来源：OpenAI News · openai.com

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