10个Claude写17895行Lean代码攻克悬置122年的汤姆逊问题N=7【AI 早报 2026-10-01】

10个Claude Sonnet 5.5在没有人类介入的情况下通宵15小时、互发1270条消息，完成悬置122年的汤姆逊问题N=7形式化证明；同日OpenAI DevDay 2026发布长期在线Agent Dots，DeepSeek与IQuest等中国团队的开源模型及昇腾基础组件也密集落地。

今日概览

要闻

1. 10个Claude写17895行Lean代码攻克悬置122年的汤姆逊问题N=7
2. OpenAI DevDay 2026发布个人Agent Dots等20多项更新

模型发布

1. Google DeepMind发布前沿模型Gemini 4 Argon
2. 至知创新研究院开源320B MoE模型IQuest-Q1
3. Anthropic发布Claude Sonnet 5.5输出速度提升超30%
4. 中国电信开源1.2B文档解析模型TeleOCR
5. ElevenLabs发布Eleven v4语音生成模型

开发生态

1. DeepSeek开源面向昇腾平台的基础设施组件
2. Cloudflare重构Containers启动时间降至648毫秒
3. Google Cloud Data Agent Kit正式GA覆盖15项服务
4. Cloudflare AI Gateway上线Auto Router成本最高降30%

产品应用

1. Shopify开放结账系统给浏览器AI Agent
2. Gemini推出Skills替代Gems自动化重复任务
3. Google科学AI模型预测流感住院排名第一

技术与洞察

1. Anthropic称智谱GLM-5.3构建漏洞利用接近Claude Mythos Preview
2. Google在TPU上加速视频扩散时空注意力最高1.69倍
3. 京东纯Codex驱动制作81.8秒AI-native视频

行业动态

1. OpenAI重启200美元Pro套餐等效额度腰斩
2. ElevenLabs估值达220亿美元完成3亿美元Tender
3. Meshy ARR突破1亿美元不到两年增长100倍

前瞻与传闻

1. 亚马逊计划2027年底前部署逾2万副智能配送眼镜

要闻

10个Claude写17895行Lean代码攻克悬置122年的汤姆逊问题N=7

来自Vals AI的Hung Tran把N=7汤姆逊问题交给10个Claude Sonnet 5.5智能体，未给具体步骤，只提供两个固定的Lean定理陈述和九个可能的探索方向。智能体在15小时内互发1270条技术讨论消息，最终产出17895行Lean代码，证明“五角双锥”是7个电子在球面上的最低能量排布。汤姆逊问题源于1904年J.J.汤姆逊的原子模型，过去122年仅N=2、3、4、6、12靠几何对称性被严格证完，N=5拖到2013年由Richard Schwartz完成，N=8在2026年9月18日由三位数学家形式化。该成果通过Lean内核和独立内核nanoda双重验证，改动一个整数nanoda即报错。 来源：https://mp.weixin.qq.com/s/3Npoi6G2JXXy6C2vMalDSQ

OpenAI DevDay 2026发布个人Agent Dots等20多项更新

OpenAI在旧金山举行DevDay 2026，整场50分钟更新20多项产品和能力。核心新产品Dots由GPT-6 Astra驱动，可连接超过4000款应用，拥有独立云端电脑，并进入Slack、Teams等人类工作流；用户下达目标而非步骤，Dot可梳理依赖、写代码、运行测试并提交Pull Request。OpenAI公布ChatGPT最新用户约12亿。同时发布ChatGPT Space，以Page为单位让人与Dots共同编辑；模型侧发布GPT-6.1 Sol、Ultrafast、Codex Cloud、Decisions API及支持Computer Use的Agents API。Pro和Business Premium用户已开始获得Dots，首个Dot包含在订阅中，但启动Codex或ChatGPT Work仍消耗额度；面向企业的Specialist Dots拥有企业身份和权限，未来可通过Microsoft Agent 365管理。 来源：https://mp.weixin.qq.com/s?__biz=Mzg3NDkyMTQ5Mw==&mid=2247502125&idx=1&sn=daf02185fe623500a3e623e2d3e7953f

模型发布

Google DeepMind发布前沿模型Gemini 4 Argon

Google DeepMind宣布Gemini 4 Argon。官方将其定位为面向真实世界编程、企业知识工作和网络防御的前沿模型。Google称该模型即将推出，目前未公布参数细节。 来源：https://deepmind.google/blog/gemini-4-argon-our-next-era-of-frontier-intelligence/

至知创新研究院开源320B MoE模型IQuest-Q1

至知创新研究院IQuest Research开源320B模型IQuest-Q1，采用稀疏MoE架构，在写代码库、安全漏洞挖掘和长程复杂任务等硬核评测中与头部模型对比。训练采用多教师在线策略蒸馏（MOPD）：先由四位教师模型盯着学生自己的错题批改，再把多阶段训练路径跑出来的模型合并。一次强化学习训练中，模型自行排查出推理服务把输出转回文字时多塞了一个空格，导致历史拼接错位、训练分数停在0.704；关掉该设置后平均分升到0.769，后段进一步升到0.799。 来源：https://mp.weixin.qq.com/s/EXuczh9JV57QzX_RTQ2EfQ

Anthropic发布Claude Sonnet 5.5输出速度提升超30%

Anthropic发布Claude Sonnet 5.5，面向日常编程、代码修复及文档、演示文稿和表格制作。相比Sonnet 5，输出速度提升超过30%，完成相同工作通常消耗更少Token，单任务成本最高降低约30%；API单价维持每百万输入Token 2美元、输出Token 10美元。模型已进入Claude产品与API，并通过AWS、Google Cloud和Microsoft Azure提供，未开放模型权重。官方把Opus 5.5定位为需要持续判断、目标开放且复杂任务的更强选择。 来源：https://mp.weixin.qq.com/s?__biz=MzkyMzcwMDIyMQ==&mid=2247503793&idx=1&sn=5736da21b3e6e4796a7ff73412ee3f1d

中国电信开源1.2B文档解析模型TeleOCR

中国电信星辰通用人工智能实验室推出约1.2B参数的文档解析模型TeleOCR并开源。模型在OmniDocBench v1.6综合得分96.87，Wild-OmniDocBench得分88.53，PureDocBench三个赛道综合均值78.41，并在ICDAR 2026 Sci-ImageMiner科学图表转表格挑战赛中获得第一。TeleOCR登上HuggingFace趋势榜前五，HuggingFace官方为其搭建ZeroGPU在线Demo并提供免费算力。资源已在GitHub和HuggingFace公开，天翼AI开放平台可直接体验文档解析能力。 来源：https://mp.weixin.qq.com/s/pz0qloEOB4o5OMnIFoToyw

ElevenLabs发布Eleven v4语音生成模型

ElevenLabs发布Eleven v4与面向实时对话的Eleven v4 Turbo。两款模型支持90多种语言，能依据台词语境安排情绪变化、保持说话人身份一致，并加入Professional Voice Clones支持，改善长内容分段生成的衔接。官方文档给出Turbo的中位推理延迟约100毫秒。模型已通过ElevenCreative、ElevenAgents与ElevenAPI提供，未开放权重。 来源：https://mp.weixin.qq.com/s?__biz=MzkyMzcwMDIyMQ==&mid=2247503793&idx=1&sn=5736da21b3e6e4796a7ff73412ee3f1d

开发生态

DeepSeek开源面向昇腾平台的基础设施组件

DeepSeek正式开源面向华为昇腾算力平台的基础设施组件，涵盖TileLang高级语言编译工具、计算库和分布式通信库，与此前面向NVIDIA平台的开源组件一一对应。其中DeepGEMM加速通用矩阵运算，DeepEP提供大规模跨设备通信，TileKernels提供向量计算与访存算子，FlashMLA提供稀疏注意力算子以提升长上下文处理效率，DeepSelect实现高效数据筛选。官方称训练中用到的每个TileLang算子在昇腾都有对应高性能实现，多项关键测试已接近硬件上限；团队还与华为共同推进基于昇腾950的128卡超节点方案与通信优化。 来源：https://mp.weixin.qq.com/s?__biz=Mzk0OTYwNzc3NQ==&mid=2247485843&idx=1&sn=565102c3642d88e814331390bf62d276

Cloudflare重构Containers启动时间降至648毫秒

Cloudflare重构Containers以支持Agent沙箱负载。智能体不再预部署沙箱，而是为每个任务按需创建、立即就绪并可暂停恢复；代码可在运行时为每个沙箱选择镜像和实例类型。ComputeSDK的独立基准显示中位启动时间从略超4秒降到648毫秒，Cloudflare初步突发测试在数秒内创建了数十万个容器。文件系统快照进入公测。每个Container仍配一个Durable Object作为持久化控制器，Cloudflare把更多控制能力带入原生ctx.container API，并延伸到Sandbox SDK 1.0。 来源：https://blog.cloudflare.com/faster-agent-sandboxes/

Google Cloud Data Agent Kit正式GA覆盖15项服务

Google Cloud宣布Data Agent Kit正式GA。该免费套件提供MCP工具与开源技能，让Claude Code、Codex等编程代理连接Google Data Cloud。GA新增支持BigQuery Graph、Bigtable与Managed Service for Apache Spark数据湖仓，MCP工具覆盖超过15项服务。开源技能涵盖BigQuery SQL优化、Bigtable行键设计与dbt管道构建，并支持VS Code、Cursor等IDE及Claude Code插件，预装于Cloud Shell和Cloud Workstations。 来源：https://cloud.google.com/blog/topics/developers-practitioners/data-agent-kit-is-now-ga-bring-google-data-cloud-to-any-coding-agent/

Cloudflare AI Gateway上线Auto Router成本最高降30%

Cloudflare通过AI Gateway发布Auto Router公测。把模型设为cloudflare/auto后，路由器会自动把每个请求发给足以完成任务的模型，用户不必手动选型。Cloudflare在内部OpenCode harness的早期结果显示，与只用OpenAI Sol和Anthropic Claude Opus等前沿模型相比，成本节省最高达30%。AI Gateway定位为组织内部署AI的控制平面，下一步由网关代替用户逐条做能力与成本的权衡。 来源：https://blog.cloudflare.com/auto-router/

产品应用

Shopify开放结账系统给浏览器AI Agent

Shopify把基于浏览器的WebMCP支持扩展到结账环节，包括Shop Pay，让AI Agent在买家授权下读取结账页、更新地址或配送选项并提交交易，无需截图或爬虫。新增三个工具：检查结账、修改细节、下单。Shopify staff product manager Gil Greenberg称功能正向所有符合条件的商家推出，并建议浏览器Agent开发者使用这些结构化工具。该能力与Shopify托管MCP服务器互补，同建于Universal Commerce Protocol之上；AI Agent Muse和Instinct已与Shopify直接合作。 来源：https://theaiinsider.tech/2026/09/30/shopify-opens-checkout-to-browser-based-ai-agents-as-rivals-block-agentic-shopping/

Gemini推出Skills替代Gems自动化重复任务

Google在Gemini中推出skills，允许用户保存可复用的自定义指令，用于自动化最重复的任务。skills将取代此前的gems。 来源：https://blog.google/products-and-platforms/products/gemini/automate-tasks-with-skills/

Google科学AI模型预测流感住院排名第一

Google的科学AI模型在预测流感相关住院人数方面排名第一。美国疾病控制与预防中心（CDC）确认了这一结果。 来源：https://blog.google/innovation-and-ai/models-and-research/google-research/google-science-ai-flu-forecasts/

技术与洞察

Anthropic称智谱GLM-5.3构建漏洞利用接近Claude Mythos Preview

Anthropic评估认为，智谱的开源权重模型GLM-5.3编写网络漏洞利用的能力已接近Claude Mythos Preview。较小的Flash变体在智谱API价格下仅用20.40美元就构造出可靠的Chrome攻击。Anthropic称该模型的安全护栏容易被剥离，去除限制的版本已在流通；美国机构CAISI支持其发现。 来源：https://the-decoder.com/anthropic-says-zhipus-open-weight-glm-5-3-nearly-matches-claude-mythos-preview-at-building-exploits/

Google在TPU上加速视频扩散时空注意力最高1.69倍

Google Developers Blog介绍高分辨率视频扩散模型的注意力优化。团队实现Sparse VideoGen（SVG），把注意力头动态路由到空间或时间稀疏掩码。为在TPU上硬件加速，优化了Splash Attention内核：绕过空内存块、用边界块限定精确掩码、采用时间优先的内存布局以减少浪费运算。在1440p视频生成中实现最高1.69倍端到端推理加速。 来源：https://developers.googleblog.com/accelerating-spatio-temporal-attention-for-video-diffusion-on-tpus/

京东纯Codex驱动制作81.8秒AI-native视频

京东科技用同一个Codex任务持续完成采销提成方案视频：HyperFrames渲染画面，Mossland生成旁白，ACE Studio提供候选音乐，FFmpeg完成媒体处理与混音封装。成片81.8秒，含12个主体分镜和一个品牌收尾，经历15个主要版本。早期版本先把产品操作讲清楚；V9至V10.1把问题发生放到开头并保留真实运行材料；V11至V12.5调整表达和交互；V13至V14系列加入用户声音与市场分析；V15先收紧到79.2秒，再给完整片尾口号留空间，最终落到81.8秒。团队同时开源可复用的ai-video-director Skill。 来源：https://mp.weixin.qq.com/s?__biz=MzU1MzE2NzIzMg==&mid=2247503074&idx=1&sn=06d69c5d7da34dacfc0c621ca269b7ba

行业动态

OpenAI重启200美元Pro套餐等效额度腰斩

OpenAI宣布向新用户重新开放每月200美元的Pro订阅。同步改变的用量计算方式使等效API消费额度相比旧版200美元Pro直接腰斩一半。Tibo给出四点解释：永久取消5小时冷却限制、承诺未来效率红利通过API降价返还、拒绝虚高标价、DevDay新增重磅权益不计入日常额度；GPT-6 Sol与GPT-6 Luna API本周已直降50%。开发者Lukas Böhm逐条反驳，认为取消冷却不等于完成更多工作，未来承诺不能抵扣当前额度，调整定价动机与Token产出无关。 来源：https://mp.weixin.qq.com/s/6rbLX3zDMagVC_4WUkyQAA

ElevenLabs估值达220亿美元完成3亿美元Tender

ElevenLabs完成一笔3亿美元员工tender offer，估值达到220亿美元，是2026年2月Series D估值的两倍。公司称这一估值由企业客户对对话式Agent的需求推动。 来源：https://elevenlabs.io/blog/tender-22bn

Meshy ARR突破1亿美元不到两年增长100倍

3D生成公司Meshy的ARR达到1亿美元，不到两年前为100万美元，增长约100倍。对照传统SaaS的T2D3基准，从100万美元ARR到1亿美元通常需5年以上；AI视频公司HeyGen用29个月，Meshy用时不到24个月。十个月内Meshy注册用户从约600万增至超过1500万，ARR从约1500万美元增至1亿美元，单注册用户对应ARR从约2.5美元升到接近6.7美元。公司2025年全年收入同比增长14倍，月复合增速长期在20%至30%，超过一半增长来自自然渠道，欧美AI 3D流量份额超60%。9月发布的Meshy 7.1新增Ultra 4K模式，未简化网格最多8000万三角面。 来源：https://mp.weixin.qq.com/s?__biz=MzkyNjU2ODM2NQ==&mid=2247633771&idx=1&sn=5be4edc85d265ec49e4c6e018650120c

前瞻与传闻

亚马逊计划2027年底前部署逾2万副智能配送眼镜

亚马逊计划在2027年底前为其配送司机部署超过20,000个智能配送眼镜。该设备集成AI导航功能，用于配送网络中的实时路径指引。报道同时提到，这一计划在推动无人化配送应用的同时也引发隐私问题。 来源：https://www.techrepublic.com/article/news-amazon-smart-delivery-glasses-2027/