菲尔兹奖得主陶哲轩：当 AI 开始批量生产证明，数学真正的瓶颈变了
菲尔兹奖得主迪米尼-科潘:聪明与数学创造无关, 聪明人像机器
柯洁自曝去年曾和AI对弈上千个小时!过程虽然极其痛苦，但不学AI就会被人吊着打!
菲尔兹奖得主邓煜演讲：AI与人的角色、数学研究的未来
高斯 vs OpenAI内部模型 （数学潜力对比）
AI核爆了数学，但是大众并不知晓
菲尔兹得主陶哲轩:这样拖延长期对你有益且不会产生愧疚感
23岁门外汉借助ChatGPT破解60年数学难题，连菲尔兹奖得主陶哲轩都震惊了
🏅 2030 菲尔兹奖：ChatGPT
史蒂文·斯皮尔伯格谈AI技术：太恐怖了，我现在很焦虑！
数学剧变：从证明稀缺到证明过剩，人类根本消化不了，AI 秒杀数学定理，数学家最怕的不是失业，是消化不良，千年数学被 AI 逼到拐点：正确的证明，正在批量变 “无
Claude在黎曼猜想方向做出了巨大突破！
如果GPT-5.6在1986年发布
我看到了人类数学的落日
数学家急了！25位菲奖得主联名向AI宣战
AI连续突破数学难题 陶哲轩发8条帖子泼冷水 人类可能什么都没学会
AI证明数学猜想？——不要杞人忧天
图灵奖大佬怒喷：大模型全是死路！2027 年路线全错，5 年内统治全球！大佬放狠话：世界模型才是真 AI，OpenAI 终将被淘汰！深度学习教父的惊天预言，颠覆
战鹰表示AI推翻了自己20多年来学的围棋
累了毁灭吧，OpenAI公布了722篇数学论文
