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

陶哲轩于10月7日在mathstodon发帖质疑OpenAI，强烈反对把用AI快速攻克著名难题当成主要目标或产品展示。OpenAI于10月公布719份AI数学解答、涵盖372个结果族，由10月6日的722份因符号错误撤回3份而来；IT之家称其尚未完全达到AGMAI标准，仍使用专有模型且仅10份手稿附推理链，据报道约42%未经形式化。