01AI Hot(卡兹克)数学家联名抵制OpenAI大量发布AI数学证明
菲尔兹奖得主陶哲轩(Terence Tao)担任 AHM 小组主席,并以客座文章的形式在其博客上分享了该组织呼吁抵制 OpenAI 的声明。 AHM 声明将 OpenAI 一次性发布 700 多个文件描述为“不是学术的展示,而是权力的展示”,并写道“数学家们并未要求做这项工作”。 复杂性理论家 Scott Aaronson 在其博客上将这一局面描述为“数学末日”(Mathocalypse)。 陶哲轩认为问题正被对领域毫无兴趣、也无法充分理解结果的 AI 用户自主解决,由此产生的研讨会和合作远少于传统突破本应带来的数量。 陶哲轩认为这种损害不可逆转:一个问题一旦被认为已解决,就无法再变回未解决。 陶哲轩主张“数学 2.0”时代必须停止把解题当作衡量进步的主要标准,转而重视解释、社群建设以及开辟新的研究方向,并相应改变对训练、发表和职业晋升的评判方式。 Aaronson 还列举了复杂性理论、数论和算法研究中的其他结果,包括对若干尚未解决的克雷千年问题取得的局部进展。 所使用的模型很可能也是 OpenAI 当前的内部模型,且该模型可能在未来几个月内向付费 ChatGPT 客户开放。 AGMAI 写道,数学家必须能够提出自己的问题、发展自己的方法,并探索那些未被选为 AI 系统能力示例的方向。
原文 ↗