OpenAI 研究员惊讶：AI 实验室数学新成果至今没查出硬伤

OpenAI 研究员 Will DePue 表示惊讶：各 AI 实验室公布的数学新结果目前都是真的，尚未发现任何严重错误或真正 bug。按人类工作者常态本应至少出几个错，他因此怀疑近期结果中至少有几个经不起严格审查。这暗示数学验证体系在变严，或结果被过度宣传的风险正在积累。