AI 日报 · 2026 年 10 月 12 日 · 星期一
AI RADAR
OpenAI 批量公布 772 项数学成果，数学家集体回应
OpenAI 于 10 月 6 日宣布解决包括拟黎曼假设、Boone–Higman 猜想在内的大量开放数学问题，Proofs and Prompts 博客已征集 100 多条数学家署名回应。陶哲轩同期在加州理工演讲称数学进入 Math 2.0，证明稀缺时代结束；西北大学已有学生因此重新考虑是否留在数学领域。
产品发布/更新
AYi (@AYi_AInotes) · XAnthropic 开源 11 种岗位的知识工作插件包
Anthropic 官方开源一套知识工作插件，为销售、客服、产品、运营、招聘、财务等 11 种岗位预打包技能、提示词和连接器。主要给 Cowork 使用，兼容 Claude Code，clone 到对应目录即可运行。GitHub 约 2.9 万星，MIT 协议，可自由改造成团队工作流。
Anthropic 发布 Claude Motion 上手指南：纯代码渲染动效视频并导出 MP4
Anthropic 发布 Claude Motion 完整上手指南，不依赖视频大模型，全部动效由纯代码生成，在 Claude Code 环境中由 Opus 5.5 调用 HyperFrames 框架编写并渲染成 MP4 导出。
行业动态
Yuchen Jin (@Yuchenj_UW) · XYuchen Jin 称 Nvidia 收购 Hugging Face 并看上 Reflection AI
作者称 Nvidia 收购了 Hugging Face，并通过人才收购吸纳 Poolside 和 Essential AI，目前还看上了 Reflection AI。作者认为 Jensen 正在整合这些新兴实验室以训练美国最好的开源模型。
技巧与观点
proofsandprompts.com（经 Hacker News）Proofs and Prompts 汇编百余位数学家对 OpenAI 批量公布 772 项数学成果的回应
OpenAI 于 10 月 6 日宣布解决包括拟黎曼假设、Boone–Higman 猜想等在内的大量开放数学问题后，Proofs and Prompts 博客征集并持续更新了 100 多条数学家的署名回应。
momo5502.com（经 Hacker News）作者用 600-700B token 让 AI 智能体反编译一款第一人称射击游戏
作者用约 3 个月、估计 600-700B token 编排多个 AI 智能体将一款流行 FPS 反编译为 C++，最终 99% 的函数完成重建、83% 字节级精确，游戏可完整流畅运行。
Rohan Paul (@rohanpaul_ai) · XOpenAI 一次发布数百篇 AI 生成数学论文后，西北大学数学系学生开始考虑是否留在数学领域
OpenAI 一次发布数百篇针对公开数学难题的 AI 生成论文后，西北大学部分学生开始质疑是否应继续留在数学领域。教授 Antonio Auffinger 表示，过去研究生用数年钻研未解难题作为训练项目，如今这些题目正被 AI 抢先解决，他自己的工作重心已转向留住和培养数学领域的人才。
AYi (@AYi_AInotes) · XClaude Code 用 /skill-doctor 排查技能吃上下文推高 Token 账单
作者建议 Claude Code 升级到 2.1.252 以上后在终端运行 /skill-doctor，查看每个技能的调用频次和成本，砍掉不用的僵尸技能。文中指出本地安装的技能无论是否触发，每轮对话都会被完整塞进上下文，关掉低频技能可释放上下文窗口、提升响应速度和回答质量。
YC CEO Garry Tan 提出“个人 AGI”：用 22 万页 Markdown 知识库和 GBrain 构建跑在自己基础设施上的 AI 大脑
InfoQ 编译 Garry Tan 在 Startup School 2026 的演讲，他提出 AGI 不会以单一事件降临，而是以跑在个人基础设施上的 Agent 形式到来。
AYi (@AYi_AInotes) · X免费站收录 475 条 Claude Opus 5.5 爆款视频 prompt，附原视频与复刻对比
一个站点收录了全网用 Claude Opus 5.5 做出的 475 条爆款视频，每条附完整 prompt，免费可复制，GitHub 已有 2300 多星。内容按动态图形 288、游戏 70、讲解 62、3D 场景 55 分类，每条左边放原视频、右边放同 prompt 的现场复刻，并标注 Three.js、GLSL、Canvas、GSAP 等技术栈。
Geoffrey Hinton访谈：人类可能只剩一两年准备时间，AI监管应类似FDA上市前审批
Geoffrey Hinton在10月6日《Smart Girl Dumb Questions》55分钟访谈中提出，AI不可能停下，应建立类似FDA的前沿AI上市前安全审批机制，并警告监管与安全准备窗口可能只剩一两年。
陶哲轩加州理工演讲：数学进入 Math 2.0，证明稀缺时代结束
陶哲轩在加州理工学院发表 Math 2.0 演讲，指出 AI 正在把数学从证明匮乏时代拽入证明充沛时代，仅优化解题会损害对数学的深层理解。他列举了正在落地的实践，包括用开源 AI 重构四色定理等经典证明、等式理论项目判定超过2200万个命题、逆伽罗瓦问题挑战赛找到对应24次所有25000个伽罗瓦群的多项式，并透露开源数学模型即将发布。
快讯
- 马斯克在 The X Takeover 2026 谈人类未来：Starship 船体回收、AI 安全与 Terafab 芯片计划DogeDesigner (@cb_doge) · X