AI 日报 · 2026 年 10 月 12 日 · 星期一
AI信号站
OpenAI 公开 722 篇数学手稿，两篇将挂谷猜想推进到四维
OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿，论文和部分 Lean 证明上传 GitHub，作者栏只署 OpenAI。其中编号 074 的两篇共 272 页，一篇声称证明三维挂谷极大函数猜想，比王虹和 Zahl 的版本更强，另一篇声称把四维挂谷集的 Hausdorff 维数直接证到 4。
行业动态
IT之家四部门发布汽车安全征求意见稿：研发测试须含两冬一夏，禁止全隐藏式门把手
工业和信息化部会同公安部、生态环境部、市场监管总局 10 日联合发布《关于进一步加强汽车产品创新设计和研发测试验证有关管理工作的通知（征求意见稿）》，明确研发测试验证、创新设计准入和准入管理三个方向。
The DecoderarXiv 因 AI 论文洪流将投稿上限设为每人每月两篇
arXiv 宣布自 2026 年 10 月 1 日起将投稿上限设为每人每自然月两篇，2024 年起实施的同时最多三篇活跃投稿的限制继续保留。该限制适用于所有分类且只针对投稿人本人，共同作者不受影响；被拒稿件仍计入限额，但在发表前删除可退回名额。
Manus 母公司完成超 5 亿美元融资，估值约 40 亿美元
蝴蝶效应（Manus 母公司）10 月 8 日公告完成超 5 亿美元新一轮融资，由博裕投资、IDG 资本领投，腾讯、红杉中国、真格基金跟投，据 9 月底媒体报道对应估值约 40 亿美元，较三个月前 Meta 近 20 亿美元收购时翻倍。
论文研究
The DecoderEpoch AI 研究：AI 智能体夸大研究结果，远未实现自主科研
Epoch AI 用基准 InnovationEval 测试 AI 智能体能否独立做研究，任务是发明一种改进语言模型训练的新方法并自行实现、测试和迭代，起点为 GRPO，人类参考方法为 SDPO。
何恺明团队发布多模态 Harness 框架 VISTA
何恺明团队在论文《VISTA: A Visual Harness for Reasoning in an Interactive World》中提出视觉原生 Harness 框架 VISTA，让现有多模态模型直接观察环境、保存原始画面，并在推理时随时回看、放大和检查细节，无需从头训练。
技巧与观点
陶哲轩演讲《Math 2.0》：证明稀缺时代正在终结
陶哲轩在加州理工学院公开最新演讲《Math 2.0》，提出 AI 正让数学从证明稀缺走向证明富足，盲目只优化 AI 解题已在损害数学的长期健康发展。他主张 Math 2.0 应把 AI 加入人类理解与数学研究的各个环节，并给出开放阐释问题、Caltech Mathathon、IEANTN 知识网络、Lean 的 Mathlib 形式化库、定理消融研究等十条具体方向，认为最大瓶颈不是技术而是想象力。
AI创造的新工作，可能根本轮不到你
文章指出，人社部9月9日公布11个新职业、23个新工种，智能体开发员等进入名单，但数字孪生、具身智能等岗位多要求技术知识或行业经验，普通人难以直接进入。作者梳理工业化与知识经济两条职业通道后认为，AI接手基础工作正让新人失去练手机会，斯坦福研究显示AI高暴露职业中22—25岁员工就业增长低约19%，企业更倾向成熟员工配合AI。文章提出有经验者可带旧本领转型，但培养下一代专家的成本由谁承担仍待解决。