爆料,奥特曼自曝「后Astra」模型,已超越全球最强数学家
在和Salesforce CEO Marc Benioff的公开对谈中,OpenAI CEO萨姆·奥特曼亲口剧透了公司内部模型的最新进展,一石激起千层浪。他首先给出了大模型理科能力的全新评判标尺:GPT-5.5的水平大概相当于普通数学教授,能够日常推导公式、看懂前沿论文、给高年级本科生甚至研究生批改高阶数学作业;而GPT-5.6已经能达到全球排名前1%到2%的顶尖教授水平,具备在一流学术期刊发表原创性数学发现的能力,足以在常春藤名校拿到终身教职。
紧接着他曝出重磅猛料:在代号为Astra的模型之后,OpenAI内部还有一款Post-Astra(后Astra)模型,已经能够解决全球最顶尖数学家都束手无策的难题,真正踏入了“神之领域”——它不再是人类的助手,而是人类的导师,能够看到人类大脑无法理解的十一维空间,理顺数万个变量之间的纠缠。

同期,OpenAI总裁Greg Brockman也在公开场合透露,公司还在另一个千禧年大奖难题上取得了重大进展。而理论计算机科学界泰斗、德州大学奥斯汀分校教授Scott Aaronson也发布了一篇题为《奇迹与恐怖的时代》的长文,这位曾经最顽固的AI怀疑论学者仿佛经历“大马士革之路”,绝望宣告“AI奇点已经开始了,人类数学家已经被永远拉下了神坛”。
消息传出后,网友反应两极:有人惊呼“这是什么怪物”,也有人保持警惕,认为AI可能是“吸收”了人类数学家的灵感而非凭空创造,存在炒作可能。但不可否认的是,OpenAI正在用海量算力暴力破解人类的智力天花板。此前一周“纳维尔-斯托克斯方程被突破”的传闻已经让数学界震动,OpenAI为此烧掉了至少1500万美元的算力,让AI硬生生推导出了长达166页的证明过程,并通过了Lean的严格验证,甚至人类数学家还没来得及读完这166页证明,Greg Brockman就公布了新的千禧难题进展消息。
奥特曼对谈泄密:后Astra被称已踏入“神之领域”
此次奥特曼的对谈信息量远超外界预期,过去评价大模型的理科能力大多用高考、奥数题目作为标尺,而OpenAI的衡量标准已经直接对准了人类顶级学者。据透露后Astra的能力边界已经远超普通顶尖数学家,甚至能够处理人类大脑无法直观理解的高维空间问题,数万个变量之间的复杂纠缠关系在模型面前也能被快速理顺。
有业内网友评价,这种能力已经完全超出了人类数学家的常规能力范围,相当于给数学研究装上了“超级外挂”。尽管存在“AI吸收人类灵感”的质疑,但OpenAI在数学领域的多次突破已经证明,其模型的推理能力已经达到了人类顶尖学者的水平,不再是简单的知识整合。
Astra十项数学突破横跨几何编码等多前沿领域
同期OpenAI发布了一份249页的技术报告,公布了内部版Astra在数学及理论计算机科学领域取得的十项新成果,涵盖高维几何、编码