陶哲轩质疑 OpenAI 公司：719 篇 AI 数学证明，人类真的理解了吗？

随后因一处符号错误及其连锁影响撤回 3 份，现公开目录为 719 份。尽管该公司称发布前曾咨询数学与人工智能顾问小组，但从公开情况看，其流程尚未完全达到该小组提出的标准，尤其缺少对人类理解、形式化验证和同行审查的充分保障。