人类数学协会呼吁停止与 OpenAI 合作，争议聚焦 AI 证明的发布方式
人类数学协会（AHM）发表声明，呼吁数学家停止与 OpenAI 合作，反对一次性发布大量声称解决数学难题的 AI 手稿；声明由陶哲轩的博客转载。
AHM 针对的是 OpenAI 10 月 6 日的发布。协会称，一次公开超过 700 个文件体现的是权力而非学术成果，并质疑这一模式是否有益于数学。这里的文件数来自协会声明，不能直接当作已获确认的定理数量。
复杂性理论研究者 Scott Aaronson 的文章呈现了另一面：这些声称的结果可能十分重要，但人类理解与检验才刚开始。他转引 AGMAI 数学与人工智能顾问组的声明说，顾问角色不代表认可这些结果的影响或产生过程，数学界仍须完成自身评估。
分歧不仅是模型能否解题，也包括谁承担理解证明的工作、研究者能否自主选择问题，以及工具与计算资源是否公平开放。AHM 的抵制主张与 AGMAI 的顾问声明来自不同组织，不能合称数学界已形成共识。
来源
- AHM Statement on OpenAI’s October 6 Release of Mathematical Documents — terrytao.wordpress.com
- The Mathocalypse — scottaaronson.blog