Mathematics is Always about Human Understanding
最近整个数学community都在讨论AI对数学的影响，数学的未来应该何去何从。
不同的人有不同的看法，有人坚守古法证明的路线，也有人非常积极的拥抱AI。但是实话说，没有人知道数学的未来会是怎样的。
不过，除非人类被AI灭绝，不然数学一定不会消失。古往今来，从Galois发现polynomial roots的对称性到Wiles证明费马大定理，
mathematics is always about human understanding.
我相信工程类的研究未来可能会被AI自动化取代，甚至于AI的研究都会被AI取代，但是AI自动化研究数学代替人类数学家确是不现实的。并不是说数学家狂妄自大地觉得AI的能力不足以研究数学，而是说这样的自动化研究没有意义。毕竟，数学是人类的数学，我并不认为数学在这个宇宙的文明之中具有一般性。昨天Dan提出了一个问题，
如果AI生成的证明是正确的，但是没有人能理解，那么这个证明有意义吗？
我想是没有意义的。
当然，数学虽然不会死，但是AI一定会对数学带来变革。以后也许论文不再那么重要，而seminar和talk会变的越来越多。因为这样才能更好的检验理解而不仅仅是证明的正确性。人类也不是没有这样的经验。前苏联在解体前的数学文化就是这样的，论文短小精悍只有要点，而seminar才是研究评价体系的核心。