数学氢弹爆炸：AI证伪Yau-Tian-Donaldson猜想
Claude形式化费马大定理证明：数学工业化
AI攻克千禧年七大难题那天，我抱着被子一直哭
我之前太看轻AI，所以现在吃了无数个回旋镖
🏅 2030 菲尔兹奖：ChatGPT
Anthropic把数学界对AI的防御宣言扔到地上踩
AI大人：不好意思，借过一下。
古法数学巅峰，也或许是最后的荣光：Hopf猜想
zeta5是无理数：欧拉遗留的数学难题成为低垂果实
OpenAI官宣攻克千禧年七大难题的NS方程问题
如果AI证明了黎曼猜想，我就女装COS元辅跳舞
从低垂果实到菲奖级成果，AI如何推进数学？
一周前我预言：AI很快会做出菲奖级成果
锐评分析学爱好者对数学的唱衰
AI的第三个四大级成果：证伪雅可比猜想
OpenAI宣称攻克CDC猜想，但这只是一切的开始
本想讲古法数学的巅峰Hopf猜想，现在没心情了
菲尔兹奖得主雅各布，但因为AI无休止唱衰数学
数学科研靠考古：deepseek很难取代我
数学家陶哲轩： AI被过度夸大了！ 它只是一台基于数学的猜测机
