驱动之家 9小时前
陶哲轩、邓煜均在列!25位菲尔兹奖得主联合警告AI正毁掉数学
index_new5.html
../../../zaker_core/zaker_tpl_static/wap/tpl_keji1.html

 

快科技 9 月 12 日消息,当地时间 11 日,25 位菲尔兹奖得主联合发布声明《人工智能在数学中的严重错位》,陶哲轩、邓煜、彼得 · 舒尔茨等顶尖数学家为首批签署人。

声明首先肯定,近期大模型数学能力大幅跃升,已经能够攻克不少长期悬而未决的数学难题,AI 可以作为科研工具辅助数学研究。

但核心担忧在于,AI 企业把 " 能否快速解出数学难题 " 当作衡量大模型能力的核心标尺,这和数学研究本身的目标出现严重错位。

数学家们提出,数学的本质不只是拿到一道题的答案,更重要的是形成全新概念、建立逻辑洞见、完成学术交流,让后人能够理解、复用、拓展这套思路。

如果一味追求 AI 快速输出证明,会催生大量人类难以读懂的证明文本,压缩同行评审、严谨核验的空间;还会带来学术署名、抄袭溯源等一系列学术伦理问题,长期会破坏数学共同体赖以生存的科研生态。

他们强调,并非反对使用 AI 做数学研究,而是反对资本与 AI 公司单向定义数学价值,不能让 " 解题速度 " 成为评判数学成果的唯一标准。

这份声明是过去一周内多位菲尔兹奖得主集中讨论后快速推出,学者们认为事态紧迫,来不及大范围征求更广泛学界意见,因此先行对外发布,后续还开放更多数学家追加签名。

值得一提的是,近日,OpenAI 旗下多款大模型接连攻克困扰人类数十年的数学难题。

其中在本月 8 日对外公布称,其一款尚未对外发布、数学能力显著强于 GPT-6 Astra 的内部大模型,借助约 1 万个 AI 智能体协同工作,仅耗时 88 小时,完成七大千禧年大奖难题之一的 " 纳维 - 斯托克斯存在性与光滑性问题 " 的证明。

该公司已经推出的 GPT-6 Astra 也一举攻克 5 道人类悬而未决的 Erd ő s 数学难题,其中包括包括 Erd ő s18 岁提出、自称 " 人生第一个正经问题 " 的 1931 年解离集猜想,以及极值图论赫赫有名的 Erd?s-S ó s 猜想。

宙世代

宙世代

ZAKER旗下Web3.0元宇宙平台

一起剪

一起剪

ZAKER旗下免费视频剪辑工具

相关标签

ai 菲尔 陶哲轩 数学 科研
相关文章
评论
没有更多评论了
取消

登录后才可以发布评论哦

打开小程序可以发布评论哦

12 我来说两句…
打开 ZAKER 参与讨论