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

OpenAI 分享数学开放问题研究进展

Sharing AI progress in mathematics

AI 导读

OpenAI 发布了其内部前沿模型在数学开放问题上的新研究成果，并在 GitHub 上分享了 Lean 形式化证明和研究细节。

来源：OpenAI News · openai.com

OpenAI / ChatGPT 推理能力开源生态论文研究 #论文/研究 #推理 #开源/仓库 #GitHub #OpenAI