AI又整活了，这次直接朝数学界的珠穆朗玛峰发起冲击。

千禧难题首次遭遇AI重击

困扰人类近九十年的、为克雷数学研究所在两千年提出的七大千禧年大奖难题之一、单题悬赏一百万美元的纳维-斯托克斯方程, 谁能率先拿下这道关卡谁就能取走这笔巨额奖金, 全球无数顶尖数学家前赴后继, 至今无人能完全攻破。

但这回, 一个未曾公开发表的内部大模型冒了出来。它宣称数学能力超前GPT-6 Astra, 这个数值让人惊骇, 毕竟GPT-6 Astra此前刚一下子解出了五道Erdős数学难题。这场AI和数学家的对垒, 肯定要当做科学史上的里程碑性事情发生。

一万智能体如何协同作战

这套偏常规化的工作流程分两步具体走好。第一步是动用总大约一万个的AI智能体们同步并行开展搜索, 耗时满整整八十八小时最终牢牢锁定这次全新的核心关键证明总体思路。这种前所未有规模远超以往之前任何一次的AI数学项目内容, 完全相当于一支十分庞大虚拟智能的团队同时朝着不一样各个方向强力进攻。每单独一个智能体均负责各不相同另一条的推导方向具体路径, 互之间相互负互相验证、互相交叉比对核验, 最终严格准确筛选出最完全可靠实在的证明思维链条。

第二步就是十八小时的严谨核验, 要通过Lean形式化证明系统把整条逻辑链条逐一翻译成机器可读的形式化代码, 最终产出的论文长达一百六十五页, 连同形式化代码就得一同对外公开, 整个过程完全透明可查, 任何人都敢下载复现?

惊人的算力和成本代价

本次攻关耗费的算力绝非区区寻常, 仅核实那一道问题就得花销约一千三百亿token, 整个项目总共耗用的接近三千亿token, 依照时下市面价值估量, 项目资金额度高达数百万美元之巨, 花销极大且绝非易事绝不止于那道问题, 核算起来耗费着实惊人。

区区一行待完成的证明代码的对应的价值换算拿来之后去评估, 都比得上黄金的身价！这也令一众业内的人士恍然醒悟, AI破解各类复杂的数学难题这事是, 在于资源与资本进行对垒较量, 与此同时不仅是牵涉到技术范畴的事！这样一笔开销的背后, 其存在的各类相关费用, 不仅包括GPU集群大规模运行的各类费用, 且还涵盖海量推理计算所牵扯的成本, 更何况还潜藏着成千上万台服务器熬夜到天亮不间断运行所消耗掉的各类电力资源。

证明结论引发数学界震荡

核心疑问存在于这道难题: 给定初始流体状态足够平滑, 流体速度有可能在有限时间内里, 趋向于无穷大? 换言之, 是否存在这样的“爆破奇点”?

长期持有观点的学界普遍认为, 传统所提及的奇点几乎不会自然产生, 但本次人工智能给出的对应证明结论却指向了完全相反的方向——奇点完全可以合法存在。如若针对上述的结论通过了行业领域的评审并且被社会广泛接纳, 则将会完全性改写流体力学所针对的相关基础性认知, 其涉及的影响范围涵盖了气象预报领域、航空设计范畴、海洋工程领域等数量不少的有关领域。

争议与质疑声不断

成果尽管震撼, 但学术界并未立刻接受, 不少顶尖数学家对证明逻辑提出质疑, 有人指出关键步骤的严密性仍需进一步检验, 证明结果还有没有得到克雷数学研究所的正式认定? 一百万美元奖金也暂时无主。

更引人关注的是成果归属争议。有学者提出相关前期研究成果可能存在版权问题, 究竟哪些思路属于公开知识、哪些才是本次项目的原创贡献, 目前尚无定论, 这些争议短期内难以平息也可能影响最终认定结果?

AI数学时代的真正挑战

不可否认, GPT-6 Astra早已攻克了此前曾有无数数学家困住数十年的Erdős几道数学难题, 这其中包括1931年的解离集猜想以及知名的Erdős-Sós猜想, 如今能被AI逐一击破, 便足够证明AI在数学推理领域拥有的惊人潜力。

但AI能够证明不代表人类理解力会由此被取代, 数学研究的本质不仅在于得出对应的结论, 更是在于理解成立的根本缘由, 当万名智能体协同完成推导出结果这一环节的时候, 人类仍旧需要逐行拆解、充分消化与广泛传播这些知识, 未来数学家的角色, 或许会从解题者真正转变为AI工作的监察者与核验者。

你觉得, AI攻破千禧年难题后, 数学家们的价值真的会降低吗? 欢迎请在咱们的评论区里头聊聊你们各自的看法哦, 如果觉得这篇文章蛮有意思, 请你记得要点赞然后分享给更多更多朋友嘿。