打开网易新闻 查看精彩图片

新智元报道

打开网易新闻 查看精彩图片

今夜将载入人类科技史!

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

编辑:大卫