OpenAI 公布 719 份 AI 数学解答 陶哲轩担忧数学界“证明消化不良”

OpenAI 公布 719 份 AI 生成的数学解答，涵盖 372 个数学结果族，涉及数百项开放研究问题。其曾咨询“数学与人工智能顾问小组”，但公开信息显示，此次发布尚未达到该小组提出的标准。顾问小组建议前沿 AI 实验室停止在专有模型上测试高难度数学问题，并披露模型名称、提示词与推理链。而 OpenAI 仍使用专有模型，仅 10 份手稿附有推理链，约 42%的证明未经形式化处理。菲尔兹奖得主陶哲轩表示，他不反对 AI 辅助研究，但反对把快速攻克著名难题当作产品展示。他认为 AI 高速生成证明而人类来不及验证吸收，会造成数学界的“证明消化不良”；问题一旦被公开“解决”便难以恢复，将损害数学领域的开放探索。