人工智能 陶哲轩质疑 OpenAI:719 篇 AI 数学证明,人类真的理解了吗? OpenAI 公开 719 份 AI 数学证明,因符号错误撤回 3 份,并因披露不足引发争议。陶哲轩批评把“速通难题”当目标,称其为“证明消化不良”。