实测GPT-6：AGI真来了！OpenAI缔造者都摸不到天花板

新智元报道

今夜将载入人类科技史！

Astra发布之时，OpenAI联合创始人兼总裁Greg Brockman宣言：

我想，历史会证明就是这个模型了。各位，欢迎来到AGI时代。

伴随这句话降临的，是代号为「Astra」的巨兽——GPT-6。

然而，更加戏剧化的是，就在全球开发者蜂拥而至、准备见证历史的几分钟内，OpenAI官方博客中关于GPT-6 Astra的文章突然不可见（404）。

但GPT-6 Astra，终于来了。

虽然目前GPT-6 Astra仅率先向OpenAI「Daybreak Access」项目中的受限机构开放，普通ChatGPT Plus、Pro、企业用户以及API开发者还需要等待数日，但首批拿到「内测神仙卡」的顶级科学家、投资人和极客们，已经开始狂欢。

恐怖的不是跑分

在最硬核的数学基准Frontier Math Tier 4、考验通用泛化能力的ARC-AGI 3，以及黑客安全测试ExploitBench上，GPT-6几乎全部拿下了近乎满分的逆天战绩。

如果只看枯燥的基准测试，你或许很难产生共鸣，真正打动人的还得看真实应用例子。

硬件工程师要凉？PCB自动布局与布线

软件工程师被AI替代的危机还没缓过神，硬件圈迎来了当头一棒。

内测显示，OpenAI已经使用Astra成功完成了复杂的PCB（印刷电路板）元器件布局和自动布线。

懂硬件的人都知道，PCB布线涉及极度复杂的电磁兼容、散热分析、信号完整性约束，向来是顶级硬件工程师的核心护城河。而Astra的介入，意味着硬件设计的物理壁垒，在这一夜被彻底击碎。

「半夜，我听到客厅里传来低语……」

在所有内测分享中，知名AI投资人、被誉为行业吹哨人的Matt Shumer的经历，堪称一部现实版的科幻惊悚片。

他给GPT-6 Astra下了指令：

在虚幻引擎（Unreal Engine）中创建一个虚拟世界，并在其中填满人类。每一个虚拟人，都必须是由Astra驱动的独立智能体（Agent），他们必须在这个世界中齐心协力才能生存下去。

随后，他去睡觉了。

一天之后，不可思议的事情发生了。

Matt在卧室里突然听到客厅里传来嘈杂的说话声……在寂静的深夜，声音清晰而诡异。他浑身冷汗直冒，第一反应是有小偷闯进了公寓。

他小心翼翼、带着一丝恐惧推开卧室门，走到客厅。

客厅里空无一人。发出声音的，是他的电脑。

屏幕里的虚拟世界中，那些由Astra驱动的智能体，正在自发地、有逻辑地互相对话、分工合作、构筑生存策略。

「一切太疯狂了。」Matt感叹。

如果这还不够震撼，Matt还透露了另一个更庞大的实验：

GPT-6 Astra仅用了一周时间，完全用代码在虚幻引擎中搭建出了一个庞大的「曼哈顿世界」！

Matt透露，这个宏大实验消耗了海量的Token。

GPT-6 Astra的推理力度被细分为了low/medium/high/xhigh/max五个档位——「算力即能力，大力出奇迹」。

2D转3D与自主控制软件

在设计与建模圈，一直存在一个共识：让大语言模型把2D俯视赛道直接转成3D模型，是绝对的「天方夜谭」。

但GPT-6可能彻底颠覆认知，开启有一个全兴的创意时代。

有网友公开叫板：

我打赌GPT-6绝对不可能把这张2D俯视跑道图转成3D。现有模型全都不行！哪怕你把参数拉到最高、跑上一整夜，Claude、GPT、Gemini、Grok搞出来的全都是垃圾。这对LLM来说就是无法克服的「氪石」！

设计大师Pietro Schirano看到后，只回了一句话：「单提示词，带无人机穿梭镜头，搞定。」

很多人疑惑：大模型怎么可能直接操作复杂的工业级软件？

Tom解密了背后的逻辑：Blender MCP（模型上下文协议）+Computer Use（计算机控制能力）！

算力即智力！AGI之时，硅基智能觉醒之时

长期以来，批评者攻击大模型最狠的一句话莫过于：「它不过是一个概率复读机，根本没有真正的逻辑与推理能力，更不可能拓展人类认知的边界。」

人类卡了十年，AI连夜突破

第一个问题关于孪生素数猜想，当年让数学家张益唐名动一时的领域。

回到2013年，58岁、颠沛半生的华人数学家张益唐在《数学年刊》发表世纪论文，证明了存在无穷多对素数，其差值小于7000万。

随后，菲尔兹奖得主陶哲轩（Terence Tao）与詹姆斯·梅纳德（James Maynard）发起轰动全球的Polymath8极限协作，集结人类最顶尖的几十位数学家，动用当时最前沿的筛法工具，合力将这个有界间隔降至246。

然而，246卡了人类整整十年。

但最近3天突然加速：先是数学家Julia Stadlmann将这一间隔压缩至240，2天后AxiomMath团队沿用这一思路用AI等刷新这一结果。

但谁也没想到，仅仅几个小时后，真正的巨兽登场了——

OpenAI官宣：GPT-6 Astra成功证明，存在无穷多对素数，其间隔不超过186！

https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/short_gaps.pdf

这次，Astra找到了人类此前从未构想出的数学路径。

OpenAI研究员、北大07级数院校友苏炜杰公开了背后的数学原理：

这一改进的关键在于，GPT-6发现了「互补的因子分解条件」（complementary factorization conditions），使得相关模数具有极其罕见的「三重稠密可除性」（triply densely divisible），并在此基础上突破性地利用了更广泛的Maynard-Tao筛法权重空间。

人类数学家花了十年没有推导出的精巧权重组合与分解结构，被Astra在深层推理中硬生生「计算」了出来！

颠覆人类90年经典范式，打破近百年停滞

如果说「推进到186」是在人类开辟的道路上狂奔，那么Astra在「最大素数间隔」上的突破，则是直接掀翻了人类长达90年的思维定式。

普林斯顿高等研究院与OpenAI联合公布的另一篇重磅论文宣布：Astra将素数之间的最大长间隔界限，提升了一个约$$\log \log $$的因子！

https://cdn.openai.com/pdf/51126fac-1b68-4128-9666-c908bcc16033/long_gaps.pdf

这个数字的含金量有多可怕？

这是自1930年代以来，人类近一个世纪里取得的首次此类量级突破！

在过去的近百年里，包括陶哲轩、Maynard、Ford、Green、Konyagin等当代数学家，穷尽智慧取得的进展，仅仅停留在$$\log \log \log $$（三重对数）的层级；甚至上一代前沿模型GPT-5.6 Sol也困在这一层。

GPT-5.6仅用一天改写数学史，「双菲」五人团队8年纪录被破！

过去80年来，所有数学家攻克这个问题的起点，都是基于初等构造n!+2, n!+3,…, n!+n都是合数的事实（利用阶乘区间覆盖）。

而Astra完全抛弃了人类依靠了近百年的阶乘构造法，思维范式上降维打击！

它开天辟地地构想出了一种全新策略：利用极小素数先行覆盖区间的一部分，再精妙结合变量平移与现代筛法理论剔除剩余的所有整数。

数学家Mehtaab Sawhney惊叹道：「这种方法不仅高效，而且引出了格外优雅的论证」

零幻觉！Lean实时形式化验证，「编译真理」时代来临

面对AI在科学领域的突破，人们最本能的质疑是：「——大模型是不是又在胡说八道（幻觉）？证明过程会不会有致命漏洞？」

Astra不仅写出了证明，还交出了一份通过机器严格验证的Lean形式化代码！

在现代数学中，Lean就像是数学定理的「编译器」。

人类审稿人可能会疲倦、会看漏逻辑漏洞，但Lean的内核逻辑极其冷酷，任何一丝逻辑跳跃或代数错误，都会直接报错编译失败。

现在，你与Astra对话，让它使用文学编程（Literate Programming）+LaTeX，你得到的是一份完美混编的论文与Lean代码。

它一边用自然语言像顶尖教授一样阐述直觉，一边将每一步论证形式化为可执行的引理。

参与测试的数学家Bartosz Naskręcki，写下了这段震撼人心的自白：

我再也不想回到那个 证明的唯一确认只能靠人类脑内「啊哈！」一声 的旧时代了。

现在的时代是： 你的「啊哈」之后，屏幕上会瞬间弹出一个绿色的对勾（Green Tick）——它以机器内核的绝对权威告诉你：你已捕捉到了客观真理。

以前，人类数学家要花数月甚至数年去排查论文中的漏洞；现在，Astra在输出证明的同时，已经由Lean实时完成了逻辑「编译」。

连缔造者都不知道它的极限在哪！

所有人都以为186和素数长间隔已经足够震撼时，OpenAI科学家、推理领域的传奇人物Noam Brown发了一条意味深长的推文：

在GPT-6 Astra的所有应用场景中，我最期待的是科学发现。我们在OpenAI还没有在数学和科学领域将其推向极限。

我期待每天早上醒来，看看有人用这个模型取得了什么新的科学突破！

哪怕是亲手训练出这个怪物的OpenAI核心团队，至今都没有摸到Astra在科学发现上的天花板！

这些数学证明，很可能仅仅是人类在匆忙测试中，随手揭开的冰山一角。

物理学、材料学、计算生物学、密码学……所有人类依靠血肉之躯苦苦推演了几个世纪的科学前沿，即将迎来一台不知疲倦、算力全开的「超智能科研机器」。

当算力不仅能画图、不仅能写文案，而是能够化为深邃的抽象逻辑，在数论无人区里，推翻90年的人类认知桎梏，把张益唐和陶哲轩留下的世界纪录一口气削掉一大截——

你还认为，这仅仅是「高级补全工具」吗？

算力，在这一夜，正式具象化为了纯粹的智力。

参考资料：

https://x.com/nasqret/status/2095620909583274335

https://x.com/skirano/status/2095595932335170031

https://x.com/mreflow/status/2095601201958309895

https://x.com/mehtaab_sawhney/status/2095598567335629046

https://x.com/nasqret/status/2095620909583274335

编辑：大卫