数学家呼吁抵制 OpenAI,AI 证明涌入数学界
菲尔兹奖得主 Terence Tao 等数学家发起 AHM 声明,呼吁抵制 OpenAI。声明称 OpenAI 一次性发布 700 多个 AI 生成的数学证明文件,是「展示权力而非学术」。此前 OpenAI 曾宣称内部模型一个月内解决 100 多个未解数学问题,包括纳维-斯托克斯千禧年问题的思路,并为此设立了 AGMAI 顾问组,但该组对内部研究节奏没有发言权。Scott Aaronson 称此为「数学末日」,并对比 Anthropic 与研究者合作、给予报酬的模式。Tao 等 25 位菲尔兹奖得主此前已警告 AI…
推荐理由了解 AI 与学术界冲突的最新案例,700 个证明文件、25 位菲尔兹奖得主联署等数字具体