大模型 · 科学与教育

AI狂飙，冲击数学界！丘成桐等专家陆续发声→

2026年，人工智能（AI）正在切实改变数学研究的运行方式。以往需要数学家数年乃至数十年攻坚的证明工作，如今可以由模型在短时间内批量生成。

MLNLP学术委员、中国科学院大学副教授杨智勇：变中求不变—AI变革中的科研求索与思考

CCF优博系列第十一期｜中国科学院大学副教授杨智勇：变中求不变—AI变革中的科研求索与思考

丘成桐在清华组建千人「AI数学军团」，隔空回应陶哲轩：他不代表整个数学界

在推动前沿数学研究的能力上，国内模型与美国前沿模型仍有明显差距

丘成桐谈AI与数学

数学家丘成桐警示AI冲击：最兴奋也最危险的时代

数学定理网络相关研究｜AI for Math读书会第二季第3期

2026年10月13日（周二）19:30-21:30分享

数学，不存在了？

面对突如其来的变革，数学家们感到悲伤、愤怒，急切地寻找新的出路：“如果我们不适应，50年后可能就再也没有数学了。”