OpenAI 发布 719 份 AI 数学证明，陶哲轩质疑可理解性

OpenAI 于 10 月在 GitHub 公布 719 份 AI 生成的数学手稿，涉及 372 个结果族及多项开放研究问题，其中 3 份因符号错误撤回。数学与人工智能顾问小组（AGMAI）建议披露模型名、推理链和计算成本，但 OpenAI 仍使用专有模型，且仅 10 份手稿附有推理链，约 42% 的证明未经形式化处理。陶哲轩 10 月 7 日在 mathstodon 发帖，批评把攻克纳维–斯托克斯方程等千禧年难题当作模型能力基准，称这会造成数学界的"证明消化不良"。他强调问题一旦被公开"解决"就难以恢复，把开放问题当作批量资源收割是不可持续的。