陶哲轩:AI 正在终结数学的浪漫时代
菲尔兹奖得主陶哲轩在最新采访中表示,AI 正在终结数学的浪漫时代与英雄时代,数学界正从证明稀缺走向证明充裕。
选题角度:陶哲轩在采访中谈AI批量产出证明后数学界理解与人才培养的困境,适合做热点评论,抓他批评集中发布缺乏沟通、年轻人项目失去发表空间的观点。
菲尔兹奖得主陶哲轩在最新采访中表示,AI 正在终结数学的浪漫时代与英雄时代,数学界正从证明稀缺走向证明充裕。
选题角度:陶哲轩在采访中谈AI批量产出证明后数学界理解与人才培养的困境,适合做热点评论,抓他批评集中发布缺乏沟通、年轻人项目失去发表空间的观点。
一项新基准测试让商用AI智能体在无人类提示下解50道理论物理研究题,运行在OpenAI Codex环境中的GPT-6-Astra答对49道(98%),平均每题成本不到3美元,整轮约116美元。
选题角度:原文给出50道理论物理题的完整榜单和每题成本,适合做一次多模型同题实测对比,重点看GPT-6-Astra与Opus 5.5的差距和联网与否的分数变化。
Anthropic 周三向投资人通报,蒸馏带来的收入占公司营收的 5% 到 7%,第三季度已把这部分大幅削减,消息来自 FT 援引四位知情人士,The Information 也报道了同样区间。
选题角度:围绕蒸馏收入占 Anthropic 营收 5% 到 7% 且三季度大幅削减这一通报,适合做热点评论,讲清对手付费调用 Claude 训练自家模型这条链条。
一名疑似来自广东茂名的26岁业余攻击者,用中国开发的开源AI渗透测试工具ARTEX,搭配DeepSeek v4.1-flash、GLM-5.3、Grok 4.6等大模型,在两周内攻击7家韩国金融机构,导致新韩银行约2.5万名客户信息泄露。
选题角度:原文给出攻击者用ARTEX搭配多个大模型两周攻破7家韩国金融机构的完整工具链,适合做事件复盘加AI降低攻击门槛的讨论。
MiniMax Code 于 9 月 27 日上线 M3.1-Flash-Preview,1M 上下文,原生支持文字、图片、视频输入,思考强度五档可调,目前只能在 MiniMax Code 和 Token Plan 里使用,官方未公布跑分。
选题角度:作者用四个真实任务实测 MiniMax M3.1-Flash,并与 DeepSeek、GLM 同题对比用时和花费,适合做上手实测与效果对比。
Two Minute Papers 发布视频解读 DeepSeek 的新架构,标题为 DeepSeek's Insane New Architecture。视频说明中给出 DeepSeek V4.1 Flash 论文链接,并列出多条 X 平台来源链接,同时更正视频 3:23 处 Opus 5.1 标注应为 Opus 5。