陶哲轩警告数学危机：AI证明复杂难懂

陶哲轩指出AI将导致证明充裕，核心价值转向验证与阐释，无法清晰解释的AI证明不应发表。

据 Woofun AI 消息，数学家陶哲轩在国际数学家大会演讲中警告，数学领域正面临价值观与研究方法的根本性危机。他指出，人工智能很快能以合理成本完成大量研究级数学任务，在最新测试中，AI系统以10至1000美元的成本为7道新题目提供了可发表质量的解决方案。陶哲轩认为，数学将从'证明稀缺'转向'证明充裕'，真正稀缺的能力变为评估结果重要性及清晰阐释证明过程。他强调，若研究者无法准确阐述由AI生成且已验证的证明，相关成果不应予以发表。