OpenAI用1万AI智能体88小时攻克千禧年数学难题

WEB3快讯2小时前发布 madweb3
2 0
OpenAI用1万AI智能体88小时攻克千禧年数学难题

AI又一次改写人类认知范畴之边界, 这一回属千禧年七大难题。此前全球顶尖学者鏖战二十余载仅破解一道, 如今某家AI公司公布用一万多个智能体协力破题, 但争议与质疑亦接踵而至随之而来。

消息瞬燃科技界, 亦引数学界激辩, 虽彼公司自称已完成证明, 然克雷数学研究所尚未认可, 独立验证仍在推进进行, 无论结果若何, AI冲击硬核数学信号已晰然。

千禧年难题的意义

这七个难题是克雷数学研究所二〇〇〇年设立, 每个问题悬赏一百万美元。它们被认作数学皇冠上的明珠, 涵盖数论、几何、物理等多个领域。二十多年来, 全球数学人前赴后继, 但直至二〇〇〇年仅有一个答案被确认。

OpenAI用1万AI智能体88小时攻克千禧年数学难题

纳维-斯托克斯方程研究的是受天气预测、管道流动及空气动力学等实际应用牵连的流体运动, 这个问题要求证明三维流体运动的方程组或是否存在能引发数学描述崩溃奇异点或是否能始终保持光滑, 该这个问题困扰研究者近一个世纪了。

破解过程的经过

该公司透露, 八月底开始训练一款远超已发布版本数学能力的新模型, 九月一日听到传言后数学难题有被破解的, 紧急部署的一万多个AI智能体便集中进行攻关。最初预料不会成功, 不过在五十小时后取得关键突破, 团队将所有算力全部投入解答此题。

整個計算過程極其龐大, 相互交換了270萬條資訊資料的智能體, 耗了1300億個標記, 約相當於數以百萬計的本書文本數量。按照現今可用的算力成本實際估算, 這項工程耗費大約1000萬倍於美元的資金。研究人員承認一開始即便不指望取得成功, 奇蹟卻是恰好在第九天發生。

未获官方认可

截至眼下!该解决办法竟未提交给克雷数学研究所审核评定, 亦没有经过任何独立性质的学术行业人员对等的点评、审阅!数学行业领域对于这个事情始终维持极端审慎的立场态度, 众多有关学者直言必须得完整看见相关证明相关的细节片段内容才可以最终断定其具备的真实有效度!有关菲尔兹奖项的得取者就算对于它具备的象征含义表示确认和赞同!也还着重强调了至今为止都没有开展相关详细论文具体部分内容的查看、翻阅工作!

该公司的声明中并未表示要去领取奖金, 目的是展现AI能力方面的实质飞跃, 不过纽约大学数学教授公开质疑其的动机, 说还是在得知对方的研究发展之后才开始匆忙启动项目, 争议的核心在于时间节点的碰巧合, 以及相关数据的取得能否是渠道合乎规定?

学术抄袭争议

部分质疑者附上了和这个公司的往来邮件记录, 讲对方坚称从没碰过质疑方的研究成果, 但举证的路线有着极强的相似性。该家公司作出的回应急为发生概率极低, 不过无法彻底排除做过去标识化处理的数据也许会间接性推动迭代模型的可能性, 对于这些推导得出的结论和采用的证明方法, 两方都存在着不同的认知, 可最后指向的乃是同一个命题。

这场涉及AI辅助科研过程的争议暴露出潜藏领域, 当算力能够瞬间生成海量的数学推导内容时, 知识产权的归属、相关数据来源的合法性等众多问题凸显出来, 学术界目前正在重新审视AI时代背景下论文的原创性判断标准, 如何清晰界定那些由机器生成内容和由人类产出的智力成果二者之间的界限至今仍未得到有效解决。

OpenAI用1万AI智能体88小时攻克千禧年数学难题

对数学界的影响

即便这一终究获得最终认可的证明, 其指向的意义是超出一道难题的解决范畴的……AI所向人们展现出的系统性的那种推理能力正在悄然改变着一众数学家们的固定思维方式, 大部分研究者现已着手去探索怎么能够将机器辅助验证系统归入到日常工作的整套流程内去运作——如此作为最依托纯然依赖逻辑思辨的数学学科, 也同样未能做到脱离于此。

更重要的是, 这件事件释放出技术演化的明确信号。过去人们普遍说来, 攻克千禧年难题至少需要无数年, 乃至数代数学家的接力。而眼下, AI用不足四天的时辰就完成了或是超出人类极限的工作。这种速度不光令人振栗, 也使部份探討者感到慌乱烦扰。

值得思考的问题

AI已经能够触及人类最顶尖的智慧挑战, 这究竟是技术进步带来的红利, 还是某种隐忧的开始? 当机器可以在几天内完成数学家几十年的工作, 知识的定义和价值是否正在被重新书写? 欢迎你在评论区里留下独特看法, 觉得内容有意思就点赞并分享这篇相关完整文章。

© 版权声明

相关文章