陶哲轩批 OpenAI 数学证明：人类来不及消化
OpenAI 于 10 月 6 日在 GitHub 发布 722 份 AI 生成数学手稿，涵盖 372 个结果族及多项开放研究问题，次日因一处符号错误及其连锁影响撤回 3 份，现公开目录为 719 份。据 IT之家报道，普林斯顿高等研究院主持的“数学与人工智能顾问小组”（AGMAI）曾建议披露模型名称、提示词、推理链、耗时与计算成本，并停止在专有模型上测试高难度数学问题，但 OpenAI 此次仍使用专有模型，仅 10 份手稿附有推理链，约 42% 的证明未经形式化处理。数学家陶哲轩 10 月 7 日在 mathstodon 发帖称，他并不反对 AI 做数学，但反对把“用 AI 快速攻克著名难题”当作主要目标或产品展示，认为这会造成数学界的“证明消化不良”，并以把纳维–斯托克斯方程等难题当作能力基准为例提出批评。
它把 AI 数学成果的透明度、形式化验证与后续学术消化问题推上台面，也显示顶尖数学家对“以解题速度和数量衡量理解”的公开质疑。
感谢IT之家网友 不一样的体验 的线索投递！
IT之家 10 月 9 日消息，OpenAI 于 10 月公布 719 份 AI 数学解答，涵盖 372 个数学结果族，涉及数百项开放研究问题，不过发布后被指尚未完全达到“数学与人工智能顾问小组”（AGMAI）提出的标准。
IT之家此前报道，OpenAI 于 10 月 6 日最初在 GitHub 发布 722 份 AI 生成数学手稿总数，涉及 372 个结果族及多项开放研究问题。不过于 10 月 7 日因一处符号错误及其连锁影响撤回 3 份，现公开目录为 719 份。
OpenAI 表示，发布前曾咨询普林斯顿高等研究院主持的“数学与人工智能顾问小组”（AGMAI），并参考其公开建议。然而，从公开信息看，此次发布尚未完全达到该小组提出的标准。
AGMAI 此前建议前沿 AI 实验室停止在专有、外界无法访问的模型上测试高难度数学问题，并要求披露模型名称、提示词、推理链、耗时及计算成本等信息；但 OpenAI 此次仍使用专有模型，且仅 10 份手稿附有模型推理链。
#OpenAI#Terence Tao#AGMAI#Institute for Advanced Study#GitHub#mathstodon