AI取代不了数学家，连结构生物学家都还没取代，更别说数学家了！

颜宁都评上院士了，按道理来说，冷冻电镜加AI预测，所有结构生物学家的工作变得毫无意义，可是这么多年过去了，他们还在！

数学家们真的没必要过度担心，AI提出证明的速度人类当然比不了，可是再强的AI也是建立在无数数学家研究的基础上。

数学家们不追求答案，追求论证的过程，他们花费无数年研究的成果也许AI只需要一个小时就能实现，那已经偏离了数学本身。

退一步来说，现在AI确实提出了很多证明，最终还是需要人类数学家去验证，验证的过程本身就是证明的过程，一点不冲突。

只能说现在AI的存在会让数学家们的工作变得轻松，可以让他们少走弯路，可以为他们提供新的思路，可以利用，却没必要排斥。

在未来，AI可能会让很多行业消亡，比如日常翻译和简单的文字工作，可是数学没那么容易被取代，科学的尽头是神学，AI做不到！