当地时间 11 日，25 位菲尔兹奖得主联合发布声明《人工智能在数学中的严重错位》，陶哲轩、邓煜、彼得·舒尔茨等顶尖数学家为首批签署人。
声明先肯定了一个事实：近期大模型数学能力大幅跃升，已经能够攻克不少长期悬而未决的数学难题，AI 可以作为科研工具辅助数学研究。
但核心担忧在于，AI 企业把“能否快速解出数学难题”当作衡量大模型能力的核心标尺，这和数学的本质并不一致。数学家们提出，数学研究的目标不只是拿到一道题的答案，更重要的是形成全新概念、建立逻辑洞见、完成学术交流，让后人能够理解、复用、拓展这套思路。
如果一味追求 AI 快速输出证明，会催生大量人类难以读懂的证明文本，压缩同行评审、严谨核验的空间；还会带来学术署名、抄袭溯源等一系列学术伦理问题，长期破坏数学共同体赖以生存的科研生态。
他们强调，反对的不是用 AI 做数学研究，而是资本与 AI 公司单向定义数学价值，不能让“解题速度”成为评判数学成果的唯一标准。
这份声明源自过去一周内多位菲尔兹奖得主的集中讨论。学者们认为事态紧迫，来不及大范围征求更广泛学界意见，因此先行对外发布，后续继续开放更多数学家追加签名。
值得一提的是，OpenAI 旗下多款大模型近期接连攻克了困扰人类数十年的数学难题。
本月 8 日，该公司对外公布，一款尚未发布、数学能力显著强于 GPT-6 Astra 的内部大模型，借助约 1 万个 AI 智能体协同工作，仅耗时 88 小时，完成了七大千禧年大奖难题之一“纳维-斯托克斯存在性与光滑性问题”的证明。
已经推出的 GPT-6 Astra 也一举攻克 5 道人类悬而未决的 Erdős 数学难题，其中包括 Erdős 18 岁提出、自称“人生第一个正经问题”的 1931 年解离集猜想，以及极值图论中赫赫有名的 Erdős-Sós 猜想。
来源：快科技 | 
发表于 16 小时前
|
查看: 15|
回复: 0
