陶哲轩等数学家质疑AI数学证明可靠性

针对OpenAI发布722篇AI生成数学手稿及Lean定理证明器内核暴露的“健全性漏洞”，数学家陶哲轩转发托马斯·黑尔斯文章，呼吁停止与OpenAI合作。陶哲轩指出，若人类不再审核AI证明且验证工具自身存在缺陷，数学将失去“有理由相信答案真实”的核心价值。他提出从Math 1.0向重视解释的Math 2.0转型，强调在依赖AI进行数学证明时，必须警惕技术漏洞对数学严谨性的潜在冲击，确保验证过程的可靠性。

AI 根据报道生成 · 2 小时前更新

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