我的院士梦即将实现了
4年前的ChatGPT be like
高斯 vs OpenAI内部模型 （数学潜力对比）
Claude形式化费马大定理证明：数学工业化
Anthropic把数学界对AI的防御宣言扔到地上踩
菲尔兹奖得主说实话：大家难受不怪AI，是发现自己没那么聪明
数学家陶哲轩： AI被过度夸大了！ 它只是一台基于数学的猜测机
GPT-6 Astra 通关了“我不是机器人”的全部 48 关
AI大人：不好意思，借过一下。
zeta5是无理数：欧拉遗留的数学难题成为低垂果实
GPT 认为，过去 3 年的数学大部分是昨天发表的
OpenAI真的破解NS方程了吗？我用一瓶水给你讲明白
AI攻克千禧年七大难题那天，我抱着被子一直哭
千禧年七大难题已经沦为了AI的benchmark
代码找外援，建模全靠凑。没错，这就是有着排版美化大赛、ai辅助大赛、外援实力比拼大赛、图形建模优化大赛美称的全国大学生数学建模竞赛
菲奖得主研究项目中的所有问题被AI一次性解决了
难道说韦神真的不敌OpenAI
几乎不受AI冲击的工科专业
陶哲轩接受现实：我们正在见证数学浪漫时代的终结，数学正在进入工业时代#陶哲轩#数学#AI#科技
本想讲古法数学的巅峰Hopf猜想，现在没心情了
