【AI科技速览】-2026-09-06

今天AI圈同时出了几件大事，挑重要的说。

Anthropic昨天扔了个王炸：Claude在11天里基本自主完成了费马大定理的形式化证明，整整1300万行Lean代码、29500条辅助定理，每一步都能被机器逐行验证。这是数学史上第一次对17世纪的猜想做"完整形式化"。换句话说，AI不光能解题，还能把每一步写成计算机看得懂的"判决书"。科研圈的"知识发现"和"知识验证"两条线，被同一家公司、同一个模型同时改写。

具身智能赛道今天直接分成两派。李飞飞World Labs发了第一个多模态世界模型Atlas，专门给机器人造"训练沙盒"；同一天奥特曼在播客里松口说OpenAI要自研人形机器人本体——这跟他之前"我们只做大模型"的路线彻底反转。两家从不同方向回答同一个问题：具身智能的下一关卡点不在模型，而在"世界模型+硬件本体"。但OpenAI当下还顶着苹果的窃密诉讼，自研本体这条路注定是带着放大镜走的。

苹果这边换帅+发新品一起来。库克9月1日卸任，硬件出身的特纳斯接棒CEO；9月9日苹果要开"SURPRISE AND SHINE"发布会，首款折叠iPhone基本定档。库克把苹果从3500亿带到3万亿，但AI这块一直没交出能让市场服气的答卷；下一任CEO是硬件工程出身，意味着苹果接下来会走"用硬件承载AI"的路线——折叠屏、神经引擎、Vision Pro三代全押在这条线上。

国内这边是政策密集落地的一天，三件事几乎同步。深圳印发《人工智能与应用发展行动计划（2026-2028）》，明确2028年AI核心产业规模超3000亿元、企业超3000家，配套"鹏城云脑III"和"算电协同"——AI算力要按Token计费、直接接绿电，等于把算力做成水电气一样的城市基础设施。北京接着印发《加快智能体引领发展的若干措施》，是国家三部门"智能体规范"实施意见发布后的首个省级配套，由监管+产业双部门联署盖章。浙大港大联合开源了LayerRecall，一个只有6.6MB、165万参数的视频记忆路由器，专门解决"角色离场再回来就换脸换衣"的尴尬——AI视频从"能生成"到"能叙事"，这是关键技术一步。智谱更是放大招：GLM-5.3-Flash国产首个原生多模态大模型上线开源，价格只有Claude Opus 4.8的1/20，所有线上推理由10万张国产芯片集群承载——"国产算力跑前沿多模态"第一次形成规模化验证。

资本面上，Anthropic计划9月7日向SEC提交IPO招股书，最快11月初美国中期选举前完成挂牌。5月年化收入跑到470亿美元、Q2运营利润预期5.59亿，是首家"收入跑赢成本"的前沿大模型公司。但国防部的"国防供应链风险"帽子还没摘，IPO再热闹，联邦合同仍是悬剑。

接下来一周盯四件事：9月7日Anthropic IPO招股书提交、9月9日苹果折叠iPhone发布会、9月10日浙江脑机接口产学研18条正式实施、特朗普50%半导体关税提案是否进国会立法流程。