AI又拿下一个千禧年难题?OpenAI总裁亲口证实“进展重大”

上周OpenAI宣布在纳维尔-斯托克斯方程相关问题上的突破引发全球震动后,OpenAI联合创始人兼总裁Greg Brockman又抛出一枚重磅炸弹:AI在另一项千禧年大奖难题(Millennium Prize Problem)上也取得了重大进展。消息一出,硅谷与全球学术圈瞬间掀起了惊涛骇浪,外界甚至传出重磅传闻:OpenAI不仅取得了关键进展,甚至可能已经实质性解决了全部六道未解千禧年难题中的两道,相关成果极有可能在即将举办的OpenAI开发者大会(DevDay)上正式公布。

AI又拿下一个千禧年难题?OpenAI总裁亲口证实“进展重大”

Brockman亲口官宣:第二项千禧难题已被AI攻克?

千禧年大奖难题是由美国克雷数学研究所于2000年公布的七道未解数学难题,每道难题的解决者均可获得100万美元奖金,被视为当代数学界的最高挑战之一。此前OpenAI刚刚宣布在纳维-斯托克斯方程上取得突破,此次Brockman的声明直接指向另一道未解难题。目前外界猜测最可能的两大候选分别是P与NP问题(计算复杂度的终极审判,若被解决将直接动摇现代密码学、算法设计的底层逻辑)和霍奇猜想,若AI真的解决其中任何一道,都将对人类现有科学体系造成颠覆性冲击。

万级智能体狂飙88小时:AI如何碾平数百年数学天堑

据公开披露的信息,此次突破的实现路径是OpenAI调集了约10000个高阶推理智能体(AI Agents),在长达88小时的超长跨度下持续推演,构建出层层嵌套的严密推理树,完成暴力推演与深度对弈。整个过程中智能体共发送了270万条消息,消耗了约1300亿个输出token,最终不仅得出了核心结论,还完全用机器证明语言Lean完成了从头到尾的形式化代码验证,实现了全链路闭环自洽。对比传统数学研究的模式,一项世纪级定理的诞生往往需要顶尖学者投入数年甚至数十年时间手写数百页草稿,再经历漫长的同行评议,而OpenAI用AI智能体矩阵在4天内就完成了人类数百年未决的数学天堑的攻克,堪称对传统科研范式的降维打击。

从数学推演到救命药研发:技术外溢将呈几何级跃升

这种能在数十步长逻辑链推演中完全不犯逻辑错误、可完成形式化闭环验证的AI推理框架,一旦完成技术迁移,将在多个领域爆发巨大能量。若将该框架应用于分子动力学模拟、基因工程研究、复杂疾病靶点预测等场景,相关研发能力的提升将呈现几何级数的跃升,大幅加速绝症治疗药物、创新疗法的研发进程。Brockman也在公开场合表示:“这绝非脱离现实的游戏,正是在这种极端复杂问题的推演中,我们才能真正走向攻克绝症的那一天。”

学术圈暗流汹涌:算力霸权与成果保密争议并存

在突破带来的狂欢之外,争议也随之而来。一方面,有数学界人士担忧,OpenAI的突破依赖的是远超普通研究机构的算力资源,本质上是算力霸权对传统学术研究的冲击,普通学者很难有资源复现类似成果;另一方面,更有行业爆料称OpenAI可能已经雪藏了数百个数学证明结果,过去一个月被AI证明或协助证明的长期开放问题中,不少成果可能已被锁在实验室服务器中秘而不宣,未来学术界的竞争规则可能从“谁先证明”变为“谁先拿到AI算出来的结果”,甚至可能引发学术垄断、成果分配不公等新问题。此外,也有声音担忧这类超强推理AI存在被越狱滥用的风险,一旦被用于破解全球密码体系、设计攻击性工具,将带来巨大的安全隐忧。