陶哲轩加州理工演讲：数学1.0时代已结束，数学2.0到来
陶哲轩在加州理工的演讲中提出，数学1.0建立在证明稀缺的假设上，这一时代已经结束，数学2.0是证明充沛的时代。他给出数学率先被AI攻陷的三点原因：客观可验证性、高度可数字化、海量高质量文献数据，同时提醒网上看到的成功案例可能存在幸存者偏差。
选题角度：陶哲轩在加州理工演讲里把数学1.0到2.0的转变讲成三点特性，适合做热点评论，重点讲证明稀缺性结束和幸存者偏差这两个反差。
#推理
抖音 · 杨博士说AI精选AI 评分6060
公众号 · 新智元精选AI 评分6666 陶哲轩发表《数学2.0》演讲：AI把数学界从证明稀缺推向证明过剩
菲尔兹奖得主陶哲轩在加州理工学院发表题为《数学2.0》的演讲，提出数学已从「证明稀缺」的数学1.0时代进入「证明过剩」时代。
选题角度：陶哲轩把数学从证明稀缺推向证明过剩，用抗癌药思想实验讲清AI给出答案却无人能懂的风险，适合做一期观点解读。
抖音 · 杨博士说AI精选AI 评分6262 杨博士说AI：Haiku 5.5 降价后成最强性价比模型
杨博士说AI 分析称，Anthropic 的 Haiku 5.5 把价格压到提示词 100k 以内每百万 token 输入 0.1 美元、输出 0.5 美元，约为 Sonnet 5.5 的 1/20，比 DeepSeek V4.1 的 0.66 美元还低。
选题角度：从 Haiku 5.5 每百万 token 输入 0.1 美元、输出 0.5 美元的价格切入，对比 Sonnet 5.5、DeepSeek V4.1 和 Kimi K3，讲清海外大厂开始打价格战的逻辑。
抖音 · 晓辉博士精选AI 评分6262 AI冲击数学界：OpenAI发布700多份数学成果后，数学家为何焦虑
晓辉博士复盘OpenAI一次性发布700多份数学研究成果，对应人类数学家追寻的4000多道命题，其中约200多道给出Lean形式化证明。他梳理数学家社区的争议：有人认可这些成果能启发数学思想，也有人认为AI公司替数学家选择研究方向、抛出似是而非的解法，反而增加验证和消化成本。
选题角度：从OpenAI一次性抛出700多道数学命题解法切入，梳理数学家社区为何焦虑，再落到普通人该不该学数学、怎么用AI。
AI Explained精选AI 评分6262 Opus 5.5 发布：我们离自动化 AI 研究还有多近
Anthropic 发布 Claude Opus 5.5，AI Explained 结合其 230 页系统卡，讨论该模型在自动化 AI 研究（递归自我改进）上的进展。
选题角度：围绕 Opus 5.5 的 230 页系统卡和各家 RSI 承诺时间线，梳理实验室口径变化，适合做热点评论。
已经到底了