陶哲轩牵头人类数学协会发声明,全面抵制 OpenAI 机器生成证明
量子位 · wechat · 2026-10-09
菲尔兹奖得主陶哲轩牵头的人类数学协会(AHM)发布联合声明,敦促全球数学家停止与 OpenAI 合作,抗议其一次性发布 700 多份机器生成的数学证明文件。
- 导火索:OpenAI 用内部模型测试约 8000 道开放数学题,命中率约 5%,平均每题仅消耗 3 小时 GPT-Pro 级算力,随后直接发布 700 份证明草稿,无同行评审。理论计算机科学家 Dana Moshkovitz 发现其中宣称证明了她毕生研究的「唯一博弈猜想」,读后称逻辑混乱如「致幻剂产物」。
- 程序争议:OpenAI 曾与普林斯顿高等研究院共建 AGMAI 咨询小组,该小组明确警告勿在内部模型上擅自测试高深难题,OpenAI 未理会,AHM 指其将合作当公关幌子。
- 陶哲轩的论点:「证明消化不良」全面爆发——一个问题被宣称解决后就无法回到未解决状态,污染后续研究路径;年轻学者因怕被 AI 截胡不敢公开方向;人类从主导者沦为「验题工具人」。
- 杨立昆唱反调:认为数学正迎新时代,形式证明将大幅自动化,重点转向新概念、新猜想——「船的发明降低了游泳的重要性,却让我们发现新大陆」。
所属事件:数学界抵制 OpenAI 批量发布 700 份数学手稿(53 条相关)→
「公司和人」频道最新
- 上线三周：日服务数万亿 token,近三成财富500强成客户 — johnlindquist · 2026-10-10
- Token2049 第三日观察:AI 团队扎堆转向中国市场与隐私 AI — 0xJeff · 2026-10-10
- 开发者曝新型钓鱼攻击:伪造 x.ai 官方地址发信,手法相当老练 — threepointone · 2026-10-10
- 汤森路透自训法律模型,约 50 万美元算力达到前沿水平 — josh_wills · 2026-10-10
- COLM 2026 具身交互研讨会开幕,Noam Brown 等五位学者登台 — dan_fried · 2026-10-10
- Ropes & Gray 律所允许 100 小时 AI 尝试计入计费目标 — DesireeCachette · 2026-10-10