以后低等级数学家,博士生,助研估计不需要了。除了石头里面蹦出的数学天才,普通文学城的数学大牛都要失业?
陶哲轩借AI破解数学猜想,形式化成功惊呆数学圈
https://www.ithome.com/0/737/380.htm