数学圈抵制 OpenAI 模型生成证明:未经独立验证只是一纸声明

ZeeshanZiaML · x · 2026-10-12

数学社区就如何对待 OpenAI 发表的模型生成证明展开争论。m4h007 认为,正确的回应是声明「我们不把这些论文当作完成的工作来接受」,证明者有责任通过报告和展示让独立验证可行,否则只是一项声明。转发者 @onionesque 表示赞同,称咨询了约 20 位相关领域专家,大多数模型生成的证明不可读、如同乱码,应像对待 Mochizuki 的 abc 证明一样不予理会。核心分歧在于:数学真理不依赖共识,但证明被接受为正确需要社区确认。