陶哲轩质疑 OpenAI 批量发布 AI 数学证明：719 份手稿中仅 10 份附推理链
OpenAI 于 10 月公布 719 份 AI 数学解答，涵盖 372 个数学结果族；其 10 月 6 日最初在 GitHub 发布 722 份手稿，10 月 7 日因一处符号错误撤回 3 份。据报道，此次发布尚未完全达到普林斯顿高等研究院主持的「数学与人工智能顾问小组」（AGMAI）提出的标准：AGMAI 要求披露模型名称、提示词、推理链、耗时及计算成本等信息，但 OpenAI 此次仍使用专有模型，且仅 10 份手稿附有模型推理链，约 42% 的证明未经形式化处理。数学家陶哲轩 10 月 7 日发帖表示，他不反对 AI 做数学，但强烈反对把「用 AI 快速攻克著名难题」当成主要目标或产品展示，称这会造成大量人类来不及验证和理解的「无人能消化的证明」。