AI资讯日报 · 2026-10-07 星期三

写于 2026-10-07

今日速览：本周期 OpenAI 是绝对主角——一个未发布的内部模型一夜公开 722 篇数学手稿（372 组结果），触碰黎曼猜想、BSD、霍奇猜想等三道千禧难题，论文与 Lean 证明同步上线 GitHub，三位菲尔兹奖得主领衔的独立顾问组声明"发布不代表认可"。这是 OpenAI「疯狂 28 天」冲刺的一部分，首日宣布免费用户提速至 50 TPS，SemiAnalysis 披露其高价订阅档月均亏损约 100 美元、平台花钱补贴重度用户。中国资本面同样火爆：彭博称 DeepSeek 完成约 800 亿元新融资、估值 600 亿美元并筹备 IPO，月之暗面新一轮投前估值 500 亿美元（均未官宣）。学界与产业界就"AI 造数学"分歧白热化：陶哲轩警告"证明消化不良"，xAI 联创 Szegedy 则宣称"数学毕业了"；就业端，FDE（前线部署工程师）月薪 3–5 万成为最火新岗位。

注：国庆假期后新闻节奏放缓，本期覆盖 10 月 2 日至 10 月 7 日早间的重要动态，早于 10 月 5 日的条目均已标注日期。

🏫 高校教育者必知

陶哲轩警告"证明消化不良"，25 位菲尔兹奖得主联名公开信

  • 摘要：陶哲轩在 AI 安全组织 SAIR 的演讲中首次系统提出"Proof Indigestion（证明消化不良）"——AI 证明的产出速度已远超人类核验速度；随后 25 位菲尔兹奖得主联名公开信，批评 OpenAI 把数学当 benchmark 刷榜式发布，呼吁让学术共同体先验证、再宣布。（10 月 6 日）
  • 关注点：①学生检索到的"AI 已证猜想"很可能未经同行核验，亟需更新学术诚信与引用规范；②"AI 科研伦理"课堂的现成案例；③可引出 Lean 形式化证明相关课程与研讨——机器可检验的证明正在成为数学发表的新组成部分。
  • 来源：https://www.qbitai.com/2026/10/501736.html

a16z 亲自办大学，"开抢 18 岁高中生"

  • 摘要：硅谷顶级 VC Andreessen Horowitz（a16z）宣布孵化位于旧金山的全日制学院 The Horowitz Andreessen Academy，首届仅招约 50 人，2027 年 9 月开学，学制一年、免学费、暂不授予学位；a16z 投入 3500 万美元、学院总融资 4200 万美元，CEO 为 Udemy 联创 Gagan Biyani，Sam Altman、黄仁勋、李飞飞出现在师资/嘉宾/合作网络中。（10 月 6 日报道）
  • 关注点：这是"资本 + AI"绕开传统学位体系直接抢人的强信号，直接关系高校招生吸引力、课程价值主张与学生选择；可作为高等教育改革与创业教育研究选题，也适合提醒学生关注非学位教育的新路径及其风险。
  • 来源：https://36kr.com/p/4013787287507076

Anthropic 投 1 亿美元建 Claude Frontier Academy，三年培训 1 万名工程师

  • 摘要：Anthropic 推出 Claude Frontier Academy，承诺投入 1 亿美元、到 2027 年底培训 1 万名"前线部署工程师（FDE）"；采用类似医学住院医的模式：数日线下集训 + 12 周真实项目驻场 + 两级认证徽章；埃森哲、贝恩、凯捷、德勤、麦肯锡、摩根士丹利、诺和诺德等首批参与。（10 月 2 日发布）
  • 关注点：企业正在把"AI 工程师能力标准"的定义权从高校接走，认证体系与学位体系并行；其公开的能力清单可作为修订本校 AI/软件工程专业培养方案与实训环节的参照系。
  • 来源：https://www.anthropic.com/news/claude-frontier-academy

💻 从业者必跟

OpenAI 一夜公开 722 篇数学手稿，内部模型触碰三道千禧难题

  • 摘要：OpenAI 在 GitHub 公开 722 篇手稿（372 组结果），绝大多数出自同一未发布内部模型、按同一固定流程产出，涉及数论、代数几何、理论计算机、统计力学等 17 个方向；目录包括黎曼 ζ 函数零点区域大幅推进（实部 >0.99 整条竖带无零点此前都证不出）、BSD 猜想特定情形完整公式、霍奇猜想特定对象结果、希尔伯特第十问题"有理版"不可判定、Catalan 常数无理数、Unique Games 猜想等。模型此前尝试约 4000 个问题，平均每组结果算力约等于 ChatGPT Pro 思考 3 小时；三位菲尔兹奖得主领衔的九人独立顾问组声明：发布不等于认可。（10 月 7 日）
  • 关注点：多 Agent 并行 + Lean 形式化验证 + 大规模自动化研发已是前沿实验室的标准打法，"AI for R&D"工作流值得提前在团队内试点；但未经同行核验的结果绝不能直接进入产品决策。
  • 来源：https://www.qbitai.com/2026/10/501749.html ；代码仓库 https://github.com/openai/math

OpenAI「疯狂 28 天」首日：免费用户提速至 50 TPS，订阅经济账曝光

  • 摘要：OpenAI 在"28 天冲刺"首日宣布 GPT-6.1 对免费用户提速至 50 TPS；SemiAnalysis 订阅经济报告披露：20 美元档仍盈利、200 美元档接近盈亏平衡，Pro 及规划中的 500 美元档月均运营亏损约 100 美元——相当于平台花钱补贴重度用户以锁定生态；同时推出创作者广告分润计划。（10 月 6 日）
  • 关注点："补贴重度用户"的窗口期适合抓紧跑高算力消耗的个人项目与验证技术选型；但要预判未来广告植入、限流与涨价风险，商业产品不宜把成本模型长期建立在补贴价上。
  • 来源：https://www.qbitai.com/2026/10/501726.html

彭博：DeepSeek 约 800 亿元新融资、估值 600 亿美元并筹备 IPO；月之暗面投前估值 500 亿美元

  • 摘要：彭博援引知情人士称 DeepSeek 完成约 800 亿元人民币新融资、估值约 600 亿美元，正与投行洽谈最快 2027 年港股 IPO；同日消息称月之暗面新一轮融资投前估值 500 亿美元（投后或达 550 亿）。两家公司均未官宣，属传闻/知情人士消息。（10 月 6 日）
  • 关注点：国产大模型进入"超级独角兽 → IPO"阶段，资本向头部集中意味着新岗位、大规模算力采购与生态合作机会；对开发者而言，头部国产模型的长期投入确定性增强，可放心加深绑定。
  • 来源：https://www.zhidx.com/p/598870.html

Hinton、Bengio 等 22 位作者首篇 RSI 论文：AI 研发自动化或触发"智能爆炸"

  • 摘要：论文《What if automating AI R&D triggers an intelligence explosion?》公开，22 位作者包括 Hinton、Bengio、强化学习先驱 Andrew Barto、OpenAI 首席科学家 Jakub Pachocki。文中引用实验室内部数据：AI 生成并获批的代码占比从 2025 年 1 月的低个位数升至 2026 年 5 月的 80% 以上；Claude 在高层人类监督下自主完成的研发工作占比半年内从约 1% 升至约 25%；若 AI 达到顶级研究员水平，现有算力理论上可支撑约 100 万个"AI 研究员"实例，模型估计全面自动化后"一年的进步或压缩到约 5 周"。（10 月 5 日）
  • 关注点：RSI（递归自我改进）从科幻概念走向严肃工程研究，是判断未来 2–3 年模型迭代速度的核心变量；长程任务、Agent 研发工作流、合成数据策略方向值得重点投入。
  • 来源：https://www.qbitai.com/2026/10/501705.html

Anthropic 扩大网络安全验证计划（CVP）：三级访问、放宽拦截

  • 摘要：Anthropic 宣布将运行半年的 Project Glasswing 与 CVP 合并升级：按工作范围设三个访问层级，通过审核的安全团队可使用 Opus 5.5、Sonnet 5.5、Mythos 5.1，并获得放宽后的网络任务拦截策略；高校安全团队、关键基础设施运营方、开源维护者、有漏洞披露记录的个人研究者均可申请。（10 月 6 日）
  • 关注点："实名认证 + 分级放权"可能成为敏感能力开放的行业范式；做安全工具、红队和漏洞分析的团队可直接申请能力，也是研究 AI 治理产品化的样本。
  • 来源：https://www.anthropic.com/news/cyber-verification-program

马斯克 Terafab 拉台积电上桌，英特尔 14A 之外再添变数

  • 摘要：马斯克 10 月 3 日在 X 确认正与台积电讨论 Terafab 芯片制造合作；Terafab 是 Tesla/SpaceX/xAI 共同推进的垂直整合芯片制造项目，长期总投资可达 1190 亿美元、目标年产约 1TW 算力芯片（按马斯克"全球算力约 20GW"口径推算约为当前全球 AI 算力年产出的 50 倍）；英特尔是目前唯一正式官宣的工艺伙伴（14A，约 1.4nm），得州工厂一期计划 2028 年底完成。（10 月 4 日报道）
  • 关注点：算力供应链格局的中长期变量，"自研体系 + 多代工双轨"模式值得跟踪；影响未来硬件选型与推理成本测算。
  • 来源：https://www.qbitai.com/2026/10/501605.html

🌍 新产品·大事件

ChatGPT 生图开始插广告，欧盟强制隐形水印上线

  • 摘要：OpenAI 在 ChatGPT 图像生成中开始插入广告，并推出创作者广告分润计划；同时为符合欧盟 AI 法案，AI 生成图像等内容默认添加隐形水印。（10 月 6 日）
  • 关注点：大众最常用的 AI 产品"广告化"是强传播话题；内容标识直接影响 AI 内容的创作、搬运与版权归属，是科普视频和图文的好选题，也提醒创作者调整发布策略。
  • 来源：https://www.qbitai.com/2026/10/501726.html

xAI 联创 Szegedy 长文宣判："数学毕业了"，两千年英雄史落幕

  • 摘要：xAI 联合创始人、Inception/批归一化/对抗样本的开创性研究者 Christian Szegedy 发表长文《数学何去何从？》，称 AI 已像飞机把旗插上没人爬到的山顶，"孤独攀登者的时代正在结束，测绘整片大陆的时代正在开启"；他曾打赌 2026 年 6 月前出现超人 AI 数学家——今年 5–9 月 OpenAI 与 Anthropic 已接连在单位距离猜想、雅可比猜想、费马大定理 Lean 证明、Navier-Stokes 等问题上取得突破。（10 月 6 日）
  • 关注点：与陶哲轩"减速派"正面交锋，是观点对撞型爆款选题：AI 到底是数学家的飞机，还是让数学家退场的对手？文中金句密集，适合直接拆成短视频脚本。
  • 来源：https://36kr.com/p/4013928129122184

"最火 AI 岗位 FDE"调查：国内月薪 3–5 万，海外年薪中位约 134 万

  • 摘要：量子位访谈 6 位前线部署工程师（Forward Deployed Engineer）：国内大厂月薪普遍 3–5 万，FDE Pulse 统计海外基本年薪中位约 20 万美元；Anthropic 投 1 亿美元培养 1 万 FDE、OpenAI 设 40 亿美元部署公司、AWS 投 10 亿美元建 FDE 部门，Kimi 与腾讯云在国内跟进（腾讯云推出 FDE 认证）；还出现一人接单的"土 FDE"，一名斯坦福在读博士 5 个月独立交付几十个企业项目，工作重心从"做系统"转向"教员工用 AI"。（10 月 4 日）
  • 关注点：AI 就业市场的重心正从"训模型"转向"落地部署"，给学生最具体的能力模型与薪资参考；"会用 AI 的人"正在成为组织里最稀缺的人，大众共鸣感强。
  • 来源：https://www.qbitai.com/2026/10/501506.html

顶尖数学家集体"破防"：菲尔兹奖得主看到结果"直接瘫软"

  • 摘要：在 OpenAI 722 篇手稿引发的震荡中，多位顶尖学者的反应被记录：菲尔兹奖得主 Martin Hairer 看到 Navier-Stokes 相关结果后"瘫软"；陶哲轩 9 月在加州理工演讲直言 AI 速度"太疯狂了，没有理由这么快"；UT 奥斯汀数学家 Maggi 担忧产出速度已远超人类理解速度。OpenAI 则表示将出资举办研讨会帮助数学界消化成果。（10 月 7 日）
  • 关注点：知识精英的情绪化反应自带传播张力，可做"AI 冲击最强大脑"系列；也能引导公众理解一个朴素道理——数学不只是答案，更是人类可以共享的理解。
  • 来源：https://www.qbitai.com/2026/10/501749.html

📌 今日一句话

当机器开始批量生产答案，教育最该教的，已不是如何找到答案，而是如何判断哪个答案值得相信。