千禧年七大难题已经沦为了AI的benchmark
AI攻克千禧年七大难题那天，我抱着被子一直哭
数学科研靠考古：deepseek很难取代我
我之前太看轻AI，所以现在吃了无数个回旋镖
清华教授长文：数学界的傲慢，原罪，未来与涅槃
OpenAI官宣攻克千禧年七大难题的NS方程问题
锐评2026高考数学 | 反套路和拼内功让题目极难
王虹为何会在北大感到discouraged？
致天才高中生：您无法靠证明黎曼猜想保送清北
转到人工智能是我这辈子做过的最正确的决定
张益唐苦思冥想的数学难题，被AI化为课后习题
被 OpenAI 肘击的一天
前AI时代的四大级成果，现在只值一个成果编号了
数学氢弹雨洗地：OpenAI的722篇数学论文
一周前我预言：AI很快会做出菲奖级成果
与陶哲轩一同进入战时状态：向Anthropic宣战！
OpenAI安抚数学界：捐赠500万美元
AI推进了哥德巴赫猜想，但数学仍然是最好的专业
AI时代的丘成桐专访：数学家与一个功利时代
Claude形式化费马大定理证明：数学工业化
