从不如本科生到独作四大级成果，AI只用了15个月
如果AI证明了黎曼猜想，我就女装COS元辅跳舞
“我用免费版豆包研究数学，发现你在吹嘘AI”
Anthropic把数学界对AI的防御宣言扔到地上踩
OpenAI的三个重大成果，让我仿佛看到金仙降世
古法数学巅峰，也或许是最后的荣光：Hopf猜想
AI攻克千禧年七大难题那天，我抱着被子一直哭
我之前太看轻AI，所以现在吃了无数个回旋镖
菲尔兹奖得主雅各布，但因为AI无休止唱衰数学
AI思路比人更灵巧，数学会复刻围棋的困境吗？
数学家陶哲轩： AI被过度夸大了！ 它只是一台基于数学的猜测机
在解数学题这个Benchmark上，AI快刷无可刷了
从低垂果实到菲奖级成果，AI如何推进数学？
Claude形式化费马大定理证明：数学工业化
OpenAI官宣攻克千禧年七大难题的NS方程问题
菲尔兹奖得主用AI后质疑人类研究数学意义
只是概率模型的AI，却为何能解决数学难题？
AI抹平了程序员间的编程能力，再学计算机已经没有意义了
“我用AI证明了黎曼猜想，现在我要怎么投稿”
数学氢弹爆炸：AI证伪Yau-Tian-Donaldson猜想
