
学界驳斥 "AI 自主解题 " 论调
争议的导火索源于今年早些时候的一系列事件。一名毫无正式数学训练背景的 23 岁年轻人声称利用 ChatGPT 解决了著名的 " 埃尔德什问题 " 之一;随后,OpenAI 又宣称其 AI 模型推翻了一项由匈牙利数学家保罗 · 埃尔德什提出、已有 80 年历史的 " 单位距离 " 猜想,并自夸这是 " 人工智能首次自主解决了一个对数学领域至关重要的著名开放性问题 "。
然而,这些说法在专家群体中引发了激烈争论。国际数学联盟副主席乌尔丽克 · 蒂尔曼(Ulrike Tillmann)在伴随《莱顿宣言:人工智能与数学》发布的声明中指出,人工智能提出了 " 不能不予以审视的问题 "。她强调,未来的数学研究必须由人类判断、公平透明的实践以及全球数学社区的共享价值观来指导。
警惕 " 看似合理 " 的错误证明
宣言指出,科技行业存在夸大产品能力的强烈商业动机,建议政策制定者在决策时应咨询包括数学家在内的专家,而非依赖新闻稿或大众媒体的报道。
牛津大学计算机科学系主任莱斯利 · 安 · 戈德堡(Leslie Ann Goldberg)作为签署人之一警告称,当前的自动化技术可能产生看似合理但不可靠、甚至错误的论证,且难以与正确的数学证明区分。鉴于数学研究几乎总是建立在先前成果之上,文献结果的正确性至关重要,AI 生成的错误内容可能对学科基础造成严重破坏。
学术困境与伦理隐忧
宣言还揭示了学者们面临的现实困境。在高等教育资金不足和学术就业不稳定的背景下,工业界提供的优厚职位、金钱奖励及计算资源对数学家极具吸引力,迫使他们有时不得不支持该技术。此外,宣言呼吁对 AI 进行更广泛的监管监督,提及该行业参与军事和大规模监控、开发破坏民主的技术以及高昂的环境成本等问题。
帮助起草宣言的莱顿大学 AI 人类学家罗德里戈 · 奥奇加梅(Rodrigo Ochigame)指出,许多从未打算为 AI 发展做出贡献的数学家,其作品在未经同意的情况下被用于训练模型,这是一种令人担忧的状况。这不仅关乎数学界,更反映了整个科学界正面临因过度依赖 AI 及 " 幻觉 " 污染同行评审过程的风险。
【星途科讯 图文丨陆川】