OpenAI 数学手稿引争议，de Branges 1964 年证明失败史被引为镜鉴

Michael_Druggan · x · 2026-10-11

MichaelDruggan 引用数学史案例回应质疑 OpenAI 数学手稿的讨论：1964 年 de Branges 声称证明了不变子空间问题，数十位数学家逐行审查约 70 页手稿，Paul Halmos 本人参与两个月后请求退出审稿委员会——最终发现无法修补的错误。

Druggan 认为区别在于「OpenAI 的绝大多数结果是正确的」，不同意者可以打赌。littmath 则回应称类比贴切：很多结果严格来说不算证明，但多数经努力可转化为证明；此外 de Branges 当年能亲自答疑，而模型内部不可问。这场讨论折射出数学界对 AI 生成证明可信度与验证成本的分歧。