陶哲轩质疑 OpenAI：719 份 AI 数学证明人类是否真的理解

陶哲轩发帖质疑 OpenAI 发布 719 份 AI 生成数学证明的做法，核心追问是人类是否真正理解这些证明。 OpenAI 于 10 月公布这批解答，覆盖 372 个结果族，涉及数百项开放研究问题；此前因一处符号错误及连锁影响撤回 3 份。

AI 根据报道生成 · 43 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。