DeepMind AlphaProof Nexus 解决数十个开放数学难题并获同行评议
结论前置 / TL;DR
据《Science》期刊发表的研究,Google DeepMind 的 AlphaProof Nexus 系统成功解决了数十个长期未解的数学问题,其中包括9个埃尔德什(Erdős)问题,其中2个悬而未决长达56年。与OpenAI近期因将AI生成证明直接发布至GitHub且未经同行评议而遭学术界抵制形成对比,DeepMind选择先完成严格同行评审再正式发表。
成果与验证
Google DeepMind 开发的 AlphaProof Nexus 系统在数学领域取得突破性进展:根据发表于《Science》杂志的一项研究,该系统成功解决数十个开放数学问题,涵盖组合数学、数论等多个方向。其中尤为突出的是9个以保罗·埃尔德什命名的公开问题,其中有2个自提出以来已悬而未决达56年之久。
发表路径差异
该成果的发布方式引发关注。同期,OpenAI 因将大量AI生成的数学证明直接上传至GitHub、未经过传统学术同行评议流程,正面临数学界部分研究者的联合抵制。相比之下,DeepMind坚持先提交成果接受独立专家评审,待《Science》完成完整审稿流程后方才公开发布。
本文为企业智脑(优秘智能)编译整理自公开资讯,信息与观点以原文为准,仅供参考。阅读原文(The Decoder) →