OpenAI News·2026-10-06 20:00· 13 天前AI 评分54

OpenAI 分享 AI 在数学开放问题上的进展并公开 Lean 形式化证明

Sharing AI progress in mathematics

AI 导读

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

来源：OpenAI News · openai.com

#论文/研究 #OpenAI #推理