纯数学的研究者，会不会成为最后一批AI替代不了的人？

AI写代码、做实验、跑数据都越来越行了，可数学家们还在为证明一个定理熬白了头——这正常吗？Mathematica创始人Wolfram近期公开讨论了一个尖锐问题：当机器已经能在证明辅助工具上做到人类水平，纯粹数学研究的未来到底在哪里？我倾向于认为，短期内纯数学家不会被取代，因为提出"该证明什么"这件事本身依赖一种AI目前无法复现的直觉。但长远看，如果机器开始自己发现定理、自己筛选方向，人类数学家的角色可能从"解题者"变成"出题人"。这个转变正在发生，只是我们还没意识到速度有多快。

原文：What's the Future for Pure Math Research in the Age of AI? [Wolfram] · 来源：Hacker News