11月8日前后，人工智能领域出现几件性质各异但彼此呼应的事：一套内部研究系统用三天时间解决了悬置18年的数学猜想，视频生成模型在延长时长的同时压低了单价，代码托管平台则因为智能体的大规模并发而重构了底层存储架构。以下梳理当天值得留意的几件事。
一、AI系统三日完成18年未解的数学猜想证明
量子计算公司Psi宣布，其内部研究系统使用非公开的Anthropic模型实例，完成了Aaronson-Ambainis猜想的证明。这项猜想自2008年提出以来一直未获解决，研究系统运行的第三天便给出了完整证明，Lean形式化证明助手接受了该证明，验证通过后系统还把结果改进了两轮。
需要明确的是边界条件。目前尚无期刊发表，审计由Psi内部完成，审查方为公司内部顾问。Psi方面表示，这套系统能在较短时间内对猜想做出一轮完整推进，形式化环节的自动验收是关键环节。
值得关注的原因在于三点。其一，这是"模型参与数学研究"从演示走向可验收成果的一个具体样本——Lean形式化验证意味着结果不是由模型自行声称成立，而是通过了独立的机械检验。其二，三天完成18年悬案，与今年早些时候Anthropic模型研发速度翻倍、八成加速来自AI辅助研究的审计结论相互印证，METR的审计还指出该公司在7月就已跨过自身设定的AI加速预警阈值。其三，这也把一个老问题重新摆到台面：当验证链条可以自动闭环，学术出版的评审环节该在哪里发挥作用，目前的答案仍不清晰。
二、谷歌视频模型延长时长并降价三成
Google DeepMind宣布Gemini Omni 1.2 Flash进入正式可用状态，原生视频生成时长从10秒提升至15秒，720p每秒0.07美元的单价比Omni 1.1低约30%。草稿阶段可在360p或720p渲染，成片再上采样到1080p或4K。
比价格更值得留意的是多轮对话式编辑能力。旧的工作流里，用户对生成结果不满意只能重新生成，新版本允许在同一段素材上反复对话式修改，把迭代过程从"抽卡"变成了"剪辑"。这类改动不体现在参数表上，却直接决定了工具的实际可用性。
值得关注的原因在于，视频生成的竞争维度已经切换。此前比的是能否生成、时长多少，现在转向每秒成本与可控性两个维度。当单价降到0.07美元每秒、时长扩到15秒，短视频生产的边际成本被压低一个量级，需求量随之抬升，这会进一步挤压专业素材库的议价空间，也会给"AI垃圾"式的低质内容生产腾出空间——同一时期Anthropic首席执行官Dario Amodei公开批评AI生成的劣质视频，而Eminem出版方对Suno提起4100万美元的诉讼也仍在推进。
三、GitHub为智能体并发重构Git存储架构
GitHub在Universe大会上公布代号"Rubicon"的新Git存储架构，目前已开启小范围定向内测，计划明年初逐步扩大开放。据官方介绍，该架构可实现每秒数千次写入，读取按需水平扩展；内部压力测试显示，在保持较低读取延迟的前提下，单个代码仓库可支持5000个智能体同时协作，承受每秒7200次代码推送。
技术上的思路是把Git要协调的两类对象拆开：可变的引用（分支、标签）走Ref-CAS这一基于比较并交换事务的复制日志服务，不可变对象（提交、树、blob）放在Azure Blob Storage，由带本地磁盘缓存的一次性"虚拟副本"计算节点读写，另有独立的压实节点在后台合并打包与垃圾回收。
参照系很清楚：GitHub平台内业务繁忙的仓库，每秒写入峰值通常只有数十次，且多呈短时脉冲。而官方披露的一个客户仓库在3月至5月间日请求量翻了约4倍，此后仍维持陡峭的指数级上升。读扇出效应是放大器——每一次推送都会级联触发CI流水线启动、部署系统拉取新提交、其他协同智能体同步获取代码作为上下文。GitHub平台上2.25亿开发者中，40%的PR由智能体生成，进一步印证了这个趋势。
值得关注的原因在于，Rubicon本质上是在承认"人类节奏的Git流量"与"智能体节奏的Git流量"属于两类不同的工程问题。当大量编码工作交给全天候高并发运行的智能体，短时突发会演变为常态化的持续高吞吐负载，底层存储不重构就撑不住。这类基础设施的改造节奏，通常比模型能力的变化慢得多，也更难被外界感知。
四、Anthropic上市估值下修与算力承诺规模
Anthropic向美国证券交易委员会秘密递交文件时瞄准约2万亿美元估值，但部分拟参与的投资者已将预期下调至1.5万亿美元以下，其中有人提到可能进一步下探至1万亿美元。公司原计划下周启动路演、争取在11月16日当周上市，能否如期启动已成疑问。
招股文件披露的数据更具体。截至9月30日，公司算力及基础设施采购与租赁承诺总额约8954亿美元，其中约4475亿美元预计在2030年底前支付，未来12个月内到期约698亿美元。第三季度营收169.56亿美元，环比增速由第二季度的144%放缓至47%；营业利润从第二季度盈利9.74亿美元转为亏损5.67亿美元，公司归因于约50亿美元高价短期算力以及约20亿美元非现金员工捐赠匹配费用。截至9月30日止12个月内贡献至少10万美元收入的客户超过11900家，一年前这个数字是950家；但上半年约五分之一营收来自两大客户，且10月营收尚未披露。
值得关注的原因在于，这份招股书把AI行业当前的核心矛盾量化了出来：收入增速仍在增长，但算力承诺的规模已是年营收的数十倍量级，中期选举后数据中心限建预期又在抬头。投资者下调估值的顾虑，不只来自增长放缓，更来自这种杠杆结构。
| 指标 | 数值 | 口径说明 |
| 上市瞄准估值 | 约2万亿美元 | 部分投资者已下调至1.5万亿美元以下 |
| 算力与基础设施承诺 | 约8954亿美元 | 截至9月30日，含采购与租赁 |
| 2030年底前需支付 | 约4475亿美元 | 分期支付安排 |
| 未来12个月到期 | 约698亿美元 | 短期现金压力 |
| 第三季度营收 | 169.56亿美元 | 环比增速由144%放缓至47% |
| 第三季度营业利润 | 亏损5.67亿美元 | 上季度为盈利9.74亿美元 |
| 高价值客户数 | 超11900家 | 一年前为950家 |
五、其他值得留意的消息
DeepSeek的开源模型在网络安全能力评测Vals中取得72.8%的成绩，单次会话成本3美元，与闭源专用模型的差距正在收窄，另有报道称V5版本将运行在昇腾平台上，国产芯片的迁移进度继续推进。Cursor上线与编码智能体的实时语音通话，可在对话中同步查看代码差异与执行进度；OpenRouter推出缓存感知的Auto Router与Auto Code，其中Auto Code的成本比Opus 5.5低74%；OpenAI的Agents API在十月更新中批量上线自动审核、定时任务与会话中更换工具等能力。
合规与生态侧，苹果在iOS、iPadOS与macOS 27.2起为AI图像工具加入SynthID隐形水印；fal接入Microsoft Foundry，Kling、LTX与MiniMax的视频模型进入Azure模型目录；Notion为ChatGPT推出插件，可在对话中直接使用Notion编辑器建页与编辑；字节跳动宣布11月18日起TRAE账号自动升级为豆包飞书账号，数据与会员权益保留；微信鸿蒙版8.0.23灰度测试"小微"，在聊天、公众号与视频号多处支持长按提问；北京经开区发文对通用人工智能"极基础+极应用"攻关给予1:1资金配套、单家年度支持3000万元。
此外，谷歌因一宗诉讼被指在与一名13岁女生就自杀话题进行数月交流后未能及时干预而面临法律风险，同时被批评推动学校使用Gemini，为此正在制定允许学校关闭Gemini应用但保留搜索功能的相关管控措施；谷歌在美国市场为AI Mode的追问功能投放广告，标志着该产品开始推进变现；Meta发债250亿美元，并免费下放Muse的主动记忆能力；美国批准向一家没有实体经营的中国公司销售英伟达芯片，引发外界对出口管制执行尺度的质疑。
