@rohanpaul_ai：Sam Altman 刚刚表示，一个内部 post-Astra 模型能够解决世界上最优秀数学家都无法解决的问题。在对话中…
摘要
Sam Altman 在与 Mark Benioff 的对话中表示，一个内部的 post-Astra AI 模型能够解决世界上最优秀数学家都无法解决的问题，这得益于从 GPT 5.5 到 5.6 再到 Astra 的进展。
查看缓存全文
缓存时间: 2026/09/17 12:25
Sam Altman 近日表示，一个Astra模型之后的内部模型已经能够完成世界上顶尖数学家都无法解决的问题。
他在与Salesforce联合创始人兼CEO马克·贝尼奥夫的对话中提到： “GPT 5.5大约相当于普通数学教授的水平。 5.6则能达到顶尖百分之一、二数学教授的水平。
Astra比这还要更好一些。
而Astra之后的那个内部模型，已经能解决世界顶级数学家都无法完成的任务。”
内容来自Salesforce的YouTube频道（完整视频链接见评论区）
相似文章
Sam Altman：GPT 5.5 相当于普通数学教授。5.6 位列前百分之一二。Astra 略好一些。内部模型能做世界顶尖数学家做不到的事。
在 Dreamforce 2026 上，Sam Altman 比较了未来的 AI 模型，称 GPT 5.5 相当于普通数学教授，GPT 5.6 达到顶尖百分位，而一个内部模型超越了最优秀的人类数学家。
@polynoamial：OpenAI 下一代主要模型家族 Astra 的内部版本解决了数学、量子……领域的 10 个重大开放问题
据报道，OpenAI 下一代主要模型家族 Astra 的内部版本解决了数学和理论计算机科学领域的 10 个重大开放问题，标志着科学推理领域的重大进展。
@sama: 一个通用模型解决了一个数学上的重大开放问题。未来几年我们会经常这么说，但…
Sam Altman 宣布，一个通用AI模型解决了一个数学上的重大开放问题，称其为一个大里程碑，并对AI不断扩展的能力表示复杂感受。
OpenAI 未发布模型 Astra 解决十大开放数学难题（34分钟阅读）
OpenAI 未发布的模型 Astra 据称解决了十大开放数学难题，结果已通过 Lean 证书形式化验证，标志着 AI 数学推理能力的重大飞跃。
@typesfast：我们会得到什么？
Noam Brown 声称 OpenAI 的内部 Astra 模型解决了数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题，这可能标志着科学推理的一大步。