数学研究 · 科学与教育

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

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

王坚、励建书对谈“AI+数学”：AI不会终结数学，一个全新的世界正在打开

两位院士畅谈AI如何重塑数学研究，以及数学如何推动AI迈向下一阶段。

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

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

丘成桐谈AI与数学

对话丘成桐：数学家与一个功利时代

“我们不能永远等别人发现真理，再拿过来应用。”

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

AI宣称暴力攻克上百个世纪难题，数学家真的集体“破防”了？

在这样一种不确定的氛围中，人很难作出需要投入很多年的重大决定。

数学，不存在了？

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

陶哲轩最新演讲：数学2.0来了，证明稀缺时代正在终结

从证明稀缺到证明富足。