陶哲轩在菲尔兹颁奖现场：数学迎来百年新危机

　　数学本来规则很简单，价值观很统一，证明出来了荣誉归于第一发现者。但是现在出来一堆人，自己看不懂证明，拿出AI证明，想让人类数学家确认对不对。证明过剩了，数学家不愿去验证。

　　数学发现五大步骤：生成、验证、表述、发表、正典化入教科书。陶哲轩认为：

　　如果作者不能令人信服地证明，自己可以就其成果做一场清晰的、专家水平的、正确且归属得当的报告，那么这个成果就不应该发表。

　　这是一种数学价值观。这也是我们使用AI的一种原则，如果自己不明白AI说了什么，就不要乱用。看上去是个好原则。