OpenAI News·2026-10-06 20:00· 10 天前AI 评分55OpenAI 公布前沿模型在数学开放问题上的进展Sharing AI progress in mathematicsAI 导读OpenAI 发布内部前沿模型在数学开放问题上的新结果，并在 GitHub 上公开 Lean 证明形式化与研究细节。来源：OpenAI News · openai.comOpenAI / ChatGPT推理能力数据与训练论文研究#论文/研究#推理#数据/训练#OpenAI#GitHub