10 月 26 日，OpenAI 放出三份没过同行评审的科学结果，又把最便宜的模型压到每百万 token 1 美元；Anthropic 把 S-1 交到 SEC，同时锁定 630 亿美元买芯片；微软给 6 万人发了自愿离职方案。第二天蚂蚁的灵光 2.0 开始替人管事。
OpenAI 的一天：三份待验证的证明，一份砍到十分之一的报价（10 月 26 日）
没开发布会，东西直接进了 GitHub，三项结果落在调和分析、计算复杂性、量子场论。数学那项，模型给出 1991 年 Sogge 局部光滑猜想在任意维度的证明，按官方说法一并解决了挂谷猜想与 Stein 限制猜想。计算机那项更刺眼：模型证出指数时间假设（ETH）为假——数百篇论文拿它推导“问题很难”，真被推翻，那批下界都得重算。物理那项给出四维规范场与费米子相互作用的严格存在性证明，含千禧年难题里的纯杨—米尔斯存在性，材料暂不公开。
流程比结果更值得记。三份东西三种发法：数学直接公开 AI 输出；计算机另组外部工作组解释，同时公开稿子与 Lean 形式化；物理把发布权交给外部。四条原则：不签保密协议、不抢署名、承认工作组的解释、参与者无薪。OpenAI 也承认，选谁当“牧羊人”就决定了谁先看到东西。
ETH 的反证 10 月 16 日拿到、次日过了 Lean；但 Lean 只保证“写下的命题被证明”，不保证它等于同行心里的那个猜想——Impagliazzo 等人的公开信说“角色不是背书”，说的就是这条缝。
同一天上线的 GPT-6.1 Terra 让价格当主角：输入每百万 token 1 美元、输出 5 美元、缓存 0.05 美元，是 GPT-5.6 Terra 与 GPT-6.1 Sol 的一半、GPT-6 Astra 的十分之一。官方对比全落在每件活多少钱：Agents’ Last Exam 中等推理高 15 个百分点、单任务成本约三分之一；Terminal-Bench 4.0 最高推理 50.3%，上一代 21.5%。复杂编程仍建议交给 Sol 或 Astra；部署安全页把它的网络安全定为 Critical——便宜不等于风险低。
Anthropic 递表：收入半年翻了三倍半，承诺却排到 2045 年（10 月 26 日）
S-1 是公开提交的：拟在纳斯达克挂牌，代码 ANT，股数与价格区间未定，估值预期从 1.5 万亿到 2 万亿美元不等——按上限算会盖过 SpaceX 六月上市的 1.77 万亿。
账本第一次摊开：上半年收入 162.86 亿美元，去年同期 11.6 亿；第二季度单季 115.6 亿、首次季度营业利润 9.74 亿；第三季度 168 亿、环比增 45%。上半年净亏 807 亿里，723.88 亿是估值上升带来的可转债与 SAFE 公允价值变动，不出现金；经营现金流反而是正的 39.3 亿，6 月底现金加短期投资 1317 亿。
沉的是承诺：招股书写明未来基础设施支出 5180 亿美元，按上海证券报统计的 8 份长期合同合计至少 6570 亿、最长到 2045 年，其中亚马逊 1100 亿、谷歌 1145 亿。收入高度集中：两个未具名客户占了上半年收入的 23%。
同一天，美银、黑石、花旗、摩根士丹利宣布 630 亿美元的结构：新设 SPV 买博通 XPU 与网络设备再租给它，2027 年起交付。第一顺位约 435 亿（占 69%），黑石承担次级约 180 亿，博通为残值兜底、上限最高 290 亿。芯片不上它的资产负债表，它只背租金。
微软给 6 万人发买断，同时把资本开支抬到 1750 亿（10 月 26 日）
美国、加拿大、印度、英国，70 级及以下，约 6 万人具备资格，超过全球 22.3 万员工的四分之一。Xbox、Windows、Copilot、财务参与，数据中心、销售、市场、网络安全、量子计算不在名单里。12 月初前决定，年底离职，补偿与标准遣散一致——至少 60 天基本工资，多数人按工龄最多 39 周。
这不是今年第一次。4 月自愿退休面向 8750 人、超 30% 接受，7 月裁 4800 人，9 月又有数百人。公司否认买断源于 AI 替代，但同年资本开支预计 1750 亿美元。省人和买卡写在同一份预算里。
蚂蚁灵光 2.0：把助理搬上云主机，让它自己找事做（10 月 27 日）
这次升级把起点往前挪：拿到授权后它不等提问，自己识别需求、发起分析与监测、到点提醒。靠的是跨会话记忆、长程任务调度，以及一台独立云主机——你退出对话它还在跑。接进来的有支付宝的账单、会员与出行，钉钉、飞书、邮箱、米家，另支持 MCP 与 CLI。
它接了蚂蚁的 APASS，把授权密钥与 Agent 分开托管，执行任务时不接触密钥，授权可随时查看、调整、撤销。好不好用得看撤销后还剩什么权限，但方向是对的：先给可撤回的授权，再谈管事。
接着几天可以动手的三件事
把 GPT-6.1 Terra 挂到最便宜的那条链路上跑一轮。 缓存输入 0.05 美元足以改掉一批选型结论，复杂编程仍留给 Sol 或 Astra。
按“每件活多少钱”重算预算表。 单任务成本已经和 token 单价分家，只看单价会算错。
把交给 AI 助理的账号权限逐项过一遍。 能不能撤、撤了还剩什么、密钥在谁手里，答不上来就先别授权。
附：本文信息来源
一、一手信息
OpenAI 的三项结果与发布方式（10 月 26 日）
- OpenAI 官方博客：Working with academic communities to build scientific understanding（局部光滑猜想与挂谷猜想、ETH 被证伪、四维 QCD 与杨—米尔斯存在性、三种发布方式与四条协作原则、时间线）
- OpenAI 公开仓库：openai/math（ETH 与局部光滑的自然语言稿、Lean 形式化、更新记录）
GPT-6.1 Terra（10 月 26 日）
- OpenAI 官方博客：Introducing GPT-6.1 Terra（定位、Agents’ Last Exam 与 Terminal-Bench 4.0 数字、每任务成本口径）
- OpenAI 部署安全页：Addendum to GPT-6 Astra System Card: GPT-6.1 Terra（网络安全 Critical、生物化学 High、与 Astra 同一套防护）
Anthropic 的 S-1 与 630 亿美元融资（10 月 26 日）
- Anthropic 官方公告：Anthropic files S-1 with the SEC for proposed initial public offering（纳斯达克、代码 ANT、股数与价格区间未定、承销团）
- 四家金融机构联合新闻稿：Bank of America, Blackstone, Citi and Morgan Stanley Announce Landmark $63 Billion Financing Structure to Enable AI Compute（SPV 结构、第一顺位与次级安排、博通残值支持、2027 年起交付）
蚂蚁灵光 2.0（10 月 27 日）
- 灵光官方公众号：灵光 2.0 来了，能管事的「个人 AI 助理」（独立云主机、跨会话记忆、APASS 授权托管、MCP 与 CLI、接入服务清单）
二、媒体报道
OpenAI 的三项科学结果
- 澎湃新闻：OpenAI 公布数学、计算机和物理学三项新发现，含挂谷猜想、杨–米尔斯理论（三项结果的表述、ETH 提出者的复核安排与公开信立场）
- 科技日报：OpenAI 宣布在挂谷猜想、杨—米尔斯理论等问题上取得重要进展（王虹 2025 年三维挂谷猜想、评审团队、仍待同行评审）
- 界面新闻：OpenAI 宣布斩获三项重大科学突破，涉及千禧年难题（Lean 形式化时间点、ETH 与 P/NP 的关系）
- AI Tech Daily：OpenAI says an internal model refuted the Exponential Time Hypothesis（Ryan Williams 与 Alex Iosevich 的公开表态）
GPT-6.1 Terra
- Digital Trends：OpenAI’s new GPT-6.1 Terra model gets Astra-like results for one-tenth the price（MMMU-Pro 表现、Astra 的 10 与 50 美元对照价、可用范围）
- 凤凰网科技：GPT-6.1 Terra 骨折价发布，Agent 时代的打工模型来了（视觉与电脑操作场景、速度与成本口径）
- 证券时报：OpenAI，新模型价格砍半（Terminal-Bench 50.3% 与 21.5%、标准价下调 50%）
Anthropic 的招股书
- 新华网（英文）：Anthropic files for IPO, reveals soaring revenue, massive net losses（上半年收入 162.9 亿、净亏 807 亿中 724 亿为会计费用、5180 亿承诺、亚马逊与谷歌合同期限）
- CGTN：Anthropic files for IPO, reveals soaring revenue, massive net losses（第二季度营业利润 9.74 亿、经营现金流 39.3 亿、现金与短期投资 1317 亿、客户结构、F 类股投票权）
- 经济日报：Anthropic 申请纳斯达克 IPO，或成史上最大规模 IPO（第三季度 168 亿与环比 45%、十年 5180 亿承诺、2 万亿估值预期）
- 上海证券报：史上最大 IPO 募资加码 AI 北美科技巨头狂飙资本开支（8 份合同合计 6570 亿、按交易对手拆分的金额与期限）
- 新华财经：AI 巨头 Anthropic 正式递交 IPO 申请：千亿算力订单落地（调整后经营利润 16.18 亿、现金与短期投资拆分、客户分级数量）
- 财联社：华尔街多家大行联合筹办 SPV 为 Anthropic 采购博通芯片提供桥梁（第一顺位 435 亿占 69%、黑石 180 亿次级、博通担保上限 290 亿）
- 中央社：美银等 4 投行提供 2 兆多元融资 助 Anthropic 买博通芯片（四家机构名单与残值支持的作用）
- Channel NewsAsia（路透）：Wall St banks, Blackstone line up $63 billion to finance Broadcom AI chips for Anthropic（SPV 交易结构、此前 350 亿美元扩容协议）
微软的自愿离职方案
- 光明网：微软，向约 60000 名员工开放自愿离职方案（适用国家与职级、参与与不参与的业务线、挽留条款）
- 财联社（中国新闻网）：微软对约 6 万名员工实施自愿离职，同时正扩大 AI 投资（22.3 万员工基数、4 月退休计划与 7 月裁员、1750 亿资本开支）
- 环球时报：微软宣布：向 6 万名员工提供“自愿离职”方案（27% 占比、补偿标准、公司否认 AI 替代）
- 澎湃新闻：继自愿退休计划后，微软向约 6 万名员工提供自愿离职买断方案（12 月初决定、年底离职、39 周上限）
蚂蚁灵光 2.0
- 央广网：蚂蚁灵光 2.0 发布：AI 从“任务执行者”走向“事务管理者”（主动识别需求、独立云主机、跨平台工具调用）
- 中证网：蚂蚁集团发布灵光 2.0：AI 从“任务执行者”走向“事务管理者”（长程任务调度与工具连接能力）
- 上海证券报（中国证券网）：蚂蚁升级灵光 2.0，已内置支付宝账单、钉钉等服务能力（灵光 App 上线时间与下载量、内置服务范围）
其他
- Impagliazzo、Paturi、Williams 关于 ETH 复核的公开信
- 博通向投资人披露的本次交易担保文件
- 商业内幕关于微软买断方案条款的报道
本文为公开信息整理与解读，数据以各厂商与 Anthropic 招股书官方口径为准。
原创声明：本文由 618A 情报站整理撰写，基于公开信息与实测记录，转载请注明出处并保留原文链接。