返回 OpenAI 官方新闻

OpenAI 官方新闻· 2026-10-06 20:00 · 原发布时间

OpenAI 发布内部模型的数学开放问题研究结果

自动核验发布 · 本文由系统生成并完成证据核验，未经人工审稿。

AI 辅助摘要

OpenAI 发布了其内部前沿模型针对数学开放问题的新结果，并在 GitHub 分享 Lean 证明形式化文件和研究细节。材料未说明具体解决了哪些问题。

完整正文暂未获取。

前往原始出处阅读

发现内容有误？提交纠错