当AI能证出定理，数学家反而慌了：机器给出答案 人类却失去了理解

7月下旬，在费城举行的国际数学家大会上，陶哲轩描述了一种以前没有过的情况：一项重要结果已经被证明，验证也通过了，却没人能解释这份证明为什么成立，更没办法把它讲清楚、让其他数学家读懂、复用、传下去。 阅读全文