以后顶级数学家可以领导强大无比的AI快速证明大批定理，那平庸的数学家干什么？

据说，以后只需要数学家提出问题，提炼理论，把数学抽象提升到更高的层次…问题是Grothendieck，Scholze这样的数学家能有几人？大部分当今的数学家无非是证明一些结论，完善一些结论，给顶级数学家提出来的大厦添砖加瓦。如果以后这样的工作都是AI做了，平庸的数学家还可以做什么？勉力构造理论？如果每个人都构造一个理论，世界上每年都有几万个理论出现，却没有提出者之外的人关注（AI当然可以关注）这个真的有意思么？

前往原平台核验详情 ↗