OpenAI News·2026-10-06 20:00· 6 天前精选AI 评分30

OpenAI 公布前沿模型数学开放问题新成果并开源 Lean 证明形式化

Sharing AI progress in mathematics

AI 导读

OpenAI 公布其内部前沿模型在数学开放问题上取得的新结果，并在 GitHub 上分享 Lean 证明形式化及相关研究细节。

来源：OpenAI News · openai.com

#研究/论文 #教育大模型 #OpenAI