主要来源OpenAI Blog
查看原文事件专题 ·官方一手
OpenAI 公布内部前沿模型解数学开放问题的进展
OpenAI 发布了一篇关于 AI 数学能力进展的分享。其内部一个前沿模型被用于处理数学开放问题，相关结果已公开。团队还在 GitHub 上分享了 Lean 证明形式化内容和研究细节，供研究者查看。
当前结论
OpenAI 把内部前沿模型做数学开放问题的结果放出来了，连 Lean 形式化证明和细节都传到 GitHub，做形式化数学的可以翻翻。
11 个信源79° AI 热度最后更新 2026/10/6 12:00:00
证据链
11 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。