感觉现在还有一些做数学的人不把AI辅助当回事，例如，认为一个证明的大部分是人类铺就的，AI只是摘果实而已，AI只是“盗用”了人类文献中的想法，诸如此类的看法。这本身是一种人类的自大，试问一点：如果没有AI，最近一两年里的各种数学突破都能出现吗？如果回答是否，并且可以确定大部分都不会出现，那么这就间接地说明了AI的作用。并且，按照现在这个趋势，AI的能力越来越强大，哪一天真的证明了黎曼猜想，我都不意外。
发布于 浙江
五维球上的运筹者