🤖 AI 资讯晚报 · 10-07

🔥 必读

1️⃣ OpenAI 一夜公开 722 篇数学手稿：准黎曼、霍奇、BSD 一起上

OpenAI 一口气公开 722 篇数学手稿（归为 372 组结果），全部由一个尚未发布的内部模型产出，论文、源码与部分 Lean 证明一并上传 GitHub；模型共尝试约 4000 个研究问题，平均每项结果的算力消耗约合 ChatGPT Pro 推理 3 小时。覆盖面横跨 17 个方向：宣称 ζ 函数与所有狄利克雷 L 函数在实部 >7/8 区域无零点（即「准黎曼猜想」，另一份独立证明给到实部 >11/12 并声称排除 Siegel 零点）；证明有理数域上希尔伯特第十问题不存在通用算法；对 Selmer 余秩 0/1 的椭圆曲线给出 BSD 完整公式并称按密度覆盖绝大多数二次扭曲；处理复乘阿贝尔簇与 K3 曲面乘积上的霍奇猜想；还声称 π 的无理性指数恰为 2（此前最优约 7.1）、卡塔兰常数为无理数、证明唯一游戏猜想。绝大多数结果由同一未发布内部模型按固定流程跑出，两项例外（黎曼无零点区、复乘阿贝尔簇霍奇）经人工编辑；仓库注明核验进度不一，部分成果尚无 Lean 形式化证明。由 9 位学者（含三位菲尔兹奖得主 Timothy Gowers、Martin Hairer 与理论物理学家 Edward Witten）组成的独立顾问组随即声明：此前提过建议 ≠ 认可这些结果，也不认可产出过程。数学界普遍质疑「产出速度已远超人类理解速度」。背景：9 月 Buckmaster/Alpöge 与 OpenAI 曾在纳维–斯托克斯证明上就进度与归属起争执。⚠️ 这批结论多为模型/机构自述，尚未经同行评审与独立复核。

原文：量子位 · OpenAI一夜甩出722篇数学论文！黎曼霍奇BSD全上阵 ｜ 36氪 · OpenAI发布前沿大模型的全新数学能力测试成果

2️⃣ Anthropic 向美国政府开放最强模型，用于关键基础设施「高风险攻击性测试」

Anthropic 正与美国政府合作，扩大其最先进 AI 模型的访问权限，允许一批经审核的机构使用其能力最强的模型做网络安全测试，名单包括 Claude Opus 5.5、Claude Sonnet 5.5、Claude Mythos 5.1 以及未来推出的新模型。据周二发布的声明，获权机构可对旨在保护电网、银行和航班运行系统等关键基础设施的安全系统开展「高风险攻击性测试」（high-risk offensive testing）。时间点落在 Anthropic 冲刺 IPO 前后，被视为其与政府建立信任、为前沿模型争取合规空间的动作。⚠️ 目前只有官方通报口径，测试的具体范围、成果与第三方监督机制均未披露，无法独立核实。

原文：36氪 · Anthropic扩大先进AI模型访问权限，允许特定机构开展网络安全测试

3️⃣ AI 算力资本潮：英伟达系云厂商 Lambda 拟 IPO 前融资 40 亿美元，估值 145 亿

据知情人士透露，英伟达支持的云计算公司 Lambda 正在进行其计划 IPO 前的最后一轮融资，拟筹集最多 40 亿美元；本轮对 Lambda 的估值为 145 亿美元（不含此次拟筹资金）。本轮由投资公司黑石集团（Blackstone）与 Coatue Management 领投。Lambda 提供 GPU 云与 AI 算力服务，此前英伟达的股权投资使其被视为「算力国家队」之一。⚠️ 消息来自知情人士、Lambda 未官方确认；估值与金额以最终交割为准。

原文：36氪 · AI算力初创公司Lambda拟在IPO前最后一轮融资中筹集40亿美元

📌 值得看

4️⃣ SpaceX 拟融资 400 亿美元采购英伟达芯片

媒体援引知情人士报道，马斯克旗下 SpaceX 正寻求融资 400 亿美元用于购买英伟达芯片，凸显 AI 算力需求仍强劲。交易结构为约 100 亿美元银行贷款 + 计划发行 300 亿美元投资级债券；阿波罗全球管理（Apollo）预计牵头这笔交易并协助向投资者出售债券，交易预计 2027 年完成。这是继多家科技巨头之后，又一家非传统 AI 公司大手笔押注算力。⚠️ 知情人士消息，未获 SpaceX 官方确认。

原文：36氪 · SpaceX据悉拟融资400亿美元用于购买英伟达芯片

5️⃣ MCP 新规范「无状态化」：状态没消失，只是被甩给了应用层

AWS 介绍最新版模型上下文协议（MCP）规范如何改变远程 MCP 服务器的部署方式。核心变化是移除协议层会话：删除 initialize/initialized 握手流程与 Mcp-Session-Id 标头，使请求可被传统负载均衡器独立路由到任意服务器实例，不再需要粘性会话与共享会话存储；新增可选 server/discover 操作供客户端在调用工具前探查服务器能力；AWS Lambda 成为天然适配的部署选项。其他要点：MRTR（input_required 响应 + 后续请求）取代原先需保持流连接的服务器发起型请求；新增 Mcp-Method / Mcp-Name 标头支持网关路由与限流；W3C Trace Context 支持分布式追踪；ttlMs / cacheScope 提供缓存控制。代价是流恢复能力被移除，客户端可能需要重试中断的操作 ⇒ 对有副作用的工具调用，幂等性变得更加重要。社区对此的总结是：「协议是无状态的，但你的应用不必如此。」对正在跑 Agent/MCP 的用户有直接迁移影响——AWS 建议在网关处追踪协议版本，并在旧版流量消失前保留会话基础设施。

原文：InfoQ · MCP 终于无状态了，但状态并没有消失，只是被”甩”给了应用

6️⃣ OpenAI 高管：八九成研究已押向 GPT-7、GPT-8

OpenAI 应用研究负责人 Boris Power 透露，公司约 80%–90% 的研究精力已聚焦 GPT-7、GPT-8 及更新代际的模型。他称部分针对现有模型的优化在内部甚至被视为「极度短视」——它们能帮团队今天更快迭代、更快学习，但长期押注仍在下一代；同时他提醒「当下一代模型一来，今天费劲补的短板可能就不再是问题」。路线被概括为「先做强、再蒸馏」：先练出能力很强的通用模型（如 GPT-6 Astra），再让它当老师教出更小更专的模型（如 9 月 22 日推出的更快更便宜的 Sol、Luna）。官方示例：让 GPT-4o 当老师训练 GPT-4o mini 判断葡萄品种，300 条验证数据上准确率从 64.67% 提升到 79.33%（接近 GPT-4o 的 79.67%）。Power 认为模型迭代也在改变人的角色——GPT-6 更像一个能接下目标、自己往前干活的同事。⚠️ 属高管个人判断与官方口径，非产品发布。

原文：新智元 · GPT-6还没玩明白，OpenAI高管：八九成研究已押向GPT-7、GPT-8！

7️⃣ xAI 联创 Szegedy 长文：数学「要毕业了」，两千年英雄史落幕

xAI 联合创始人 Christian Szegedy（Inception、对抗样本、批归一化等经典工作的作者）发表长文《数学何去何从？》，在 X 上引发热议。核心论点是：AI 就像一架「飞机」，已把旗插上了没人攀过的山顶——数学家「徒手攀岩、孤独登顶」的英雄时代正在结束，取而代之的是「测绘整片大陆」的时代，数学将走出象牙塔、成为一切科技进步的地基。他称自己押注「超人 AI 数学家」已十年：2019 年即写立场论文主张走自动形式化路线，2024 年把原本 2029 年的时间表提前。文中列举了 2026 年的一系列进展以证明「预言提前兑现」（5 月推翻单位距离猜想、7 月证伪雅可比猜想、9 月 Anthropic 内部模型 11 天在 Lean 内写完费马大定理、9 月 8 日一万个 Agent 跑 88 小时「攻克」纳维–斯托克斯、9 月 21 日 OpenAI 称已解决 100 多个悬置问题）。⚠️ 这是一篇观点长文，其列举的多项「成果」系厂商自述口径，其中「一万 Agent 88 小时攻克纳维–斯托克斯」等此前曾被标记为未经独立核实的传闻——引用时应视为作者观点与其转述，而非学界已公认的事实。

原文：新智元 · 数学要「毕业」了！xAI联创宣判：两千年英雄史彻底落幕

📄 其他