陶哲轩：AI 正在终结数学的浪漫时代
菲尔兹奖得主陶哲轩在最新采访中表示，AI 正在终结数学的浪漫时代与英雄时代，数学界正从证明稀缺走向证明充裕。
选题角度：陶哲轩在采访中谈AI批量产出证明后数学界理解与人才培养的困境，适合做热点评论，抓他批评集中发布缺乏沟通、年轻人项目失去发表空间的观点。
#OpenAI
公众号 · APPSO精选AI 评分7171
公众号 · 新智元精选AI 评分6666 陶哲轩发表《数学2.0》演讲：AI把数学界从证明稀缺推向证明过剩
菲尔兹奖得主陶哲轩在加州理工学院发表题为《数学2.0》的演讲，提出数学已从「证明稀缺」的数学1.0时代进入「证明过剩」时代。
选题角度：陶哲轩把数学从证明稀缺推向证明过剩，用抗癌药思想实验讲清AI给出答案却无人能懂的风险，适合做一期观点解读。
公众号 · 夕小瑶科技说精选AI 评分6262 Karpathy 提出 AI 使用四层漏斗：全球仅约 5000 人能接触实验室最强系统
前 OpenAI 联合创始人 Karpathy 提出一张 AI 使用漏斗：全球约 80 亿人中，约 60 亿人基本没用过大模型，10 亿到 20 亿人偶尔用免费聊天框，约 2000 万人把 AI 当生产工具，只有约 5000 人能接触前沿实验室内部最强的系统。
选题角度：Karpathy 把全球 AI 使用分成四层漏斗，可结合他一年内从质疑 Agent 到离不开 Agent 的转变做趋势解读。
AI Explained精选AI 评分6262 Opus 5.5 发布：我们离自动化 AI 研究还有多近
Anthropic 发布 Claude Opus 5.5，AI Explained 结合其 230 页系统卡，讨论该模型在自动化 AI 研究（递归自我改进）上的进展。
选题角度：围绕 Opus 5.5 的 230 页系统卡和各家 RSI 承诺时间线，梳理实验室口径变化，适合做热点评论。
已经到底了