AI 资讯速览
2026年9月6日 · 今天资讯页的主线是Anthropic公布的一项研究成果：旗下研究员与Claude在开源平台Prove2Me上协作，用一个大致相当于Fable 5.1的内部研究模型，11天内自主完成费马大定理(FLT)的首个端到端、机器可验证证明，写出1300万行Lean代码——这是继此前黎曼猜想相关工作之后，Anthropic在"AI能否长时间自主推进复杂任务"这条线索上的又一个具体证据。同一周，Proofpoint把OpenAI的Daybreak网络安全模型接入自家SOC工作流，推出SOC Analyst Agent，是"Daybreak Defense Network"从公告到具体产品的第一个例子。另外两条线索：苹果确认9月9日发布会六大新品阵容，首款折叠iPhone Ultra是压轴；SoundHound AI完成对LivePerson的收购。
本文基于官方公告、研究博客与主流科技媒体报道整理，每条均标注来源。
Claude自主完成费马大定理机器可验证证明：11天、1300万行Lean代码、数十个agent协同
Anthropic公布：Claude用11天自主写出费马大定理的首个端到端机器可验证证明，产出1300万行Lean代码
9月4日Anthropic官方研究博客披露，研究员Tianyi Peng（哥伦比亚大学）与Claude在开源协作平台Prove2Me上协作，用一个大致相当于Claude Fable 5.1的内部研究模型，11天内自主产出费马大定理(FLT)的首个端到端、计算机可验证证明，过程消耗约60亿输出token，证明了29500个中间定理（累计验证30300个），数十个Claude agent并行协作，成果规模是Lean社区主库Mathlib的5倍以上。
Anthropic公布：Claude用11天自主写出费马大定理的首个端到端机器可验证证明，产出1300万行Lean代码
9月4日Anthropic官方研究博客披露，研究员Tianyi Peng（哥伦比亚大学）与Claude在开源协作平台Prove2Me上协作，用一个大致相当于Claude Fable 5.1的内部研究模型，11天内自主产出费马大定理(FLT)的首个端到端、计算机可验证证明，过程消耗约60亿输出token，证明了29500个中间定理（累计验证30300个），数十个Claude agent并行协作，成果规模是Lean社区主库Mathlib的5倍以上。
据Anthropic官方研究博客，1637年费马在书页空白处写下的猜想（不存在正整数a、b、c满足aⁿ+bⁿ=cⁿ，n>2），历经三百多年才由Andrew Wiles在1995年给出人类证明，那份证明长达129页且花费数月才被验证；而"形式化"这份证明（把数学推理转成计算机可自动核验的形式）此前预计还需要数年——仅描述项目初期阶段的"蓝图"文档就有86页。Anthropic研究员Tianyi Peng设法测试Claude能否推进这项形式化工作，结果远超预期：11天内，Claude在很大程度上自主完成了FLT的首个端到端机器可验证证明，过程中独立失败的尝试贡献了最终证明里约7%的非样板代码。项目核心工具Prove2Me由Tianyi Peng及合作者设计，通过维护定理陈述的有向无环图(DAG)帮助多个agent决定下一步该证明什么、避免"记忆退化"、并支持跨agent复用已证明的中间结论。完成的证明已交给FLT形式化项目负责人Kevin Buzzard审阅，他评价这是"了不起的自动形式化成就"，且这套技术已足够稳健、可以被后续工作继续构建在其上。
这条新闻和本简报关心的"能不能长期自主干活"直接相关：这次的重点不是发现新数学（不同于此前黎曼猜想相关工作的"探索"性质），而是"验证"能力的飞跃——Claude在没有持续人工引导（人类输入仅限于"雅可比簇作为scheme优先级较高"这类高层提示）的情况下，连续11天保持任务连贯性、协调数十个并行agent、还能从失败尝试里恢复方向。这正是money页要深挖的"企业为什么敢跳过买软件、自己用agentic工具建"这件事背后的能力基础——但news页这条例子也提醒：让agent长时间自主干活好用的前提，是有Prove2Me这样专门设计的"任务状态管理脚手架"，不是简单把任务丢给模型就能复现。
Proofpoint推出SOC Analyst Agent：OpenAI Daybreak模型首次落地为具体产品
Proofpoint把OpenAI Daybreak模型接入安全运营：SOC Analyst Agent私测中，Q3末公开可用
9月3日Proofpoint官方宣布推出SOC Analyst Agent，把自然语言问题转成结构化、可追溯的调查结论与建议动作，但不代替人工做出账号变更、遏制威胁等"实质性"决策；这是Proofpoint今年6月加入OpenAI Daybreak Defense Network后推出的第一款产品。
Proofpoint把OpenAI Daybreak模型接入安全运营：SOC Analyst Agent私测中，Q3末公开可用
9月3日Proofpoint官方宣布推出SOC Analyst Agent，把自然语言问题转成结构化、可追溯的调查结论与建议动作，但不代替人工做出账号变更、遏制威胁等"实质性"决策；这是Proofpoint今年6月加入OpenAI Daybreak Defense Network后推出的第一款产品。
据Proofpoint官方新闻稿，SOC Analyst Agent围绕三项核心能力设计：加速调查（分析师可用自然语言跨Proofpoint已接入的安全数据做调查，减少手动拼凑上下文的工作）、自动化常规分析（可为威胁狩猎、数据安全调查、升级报告等场景配置定时工作流）、保持分析师控制权（结论可追溯到底层原始数据，agent本身不会自主做账号变更或遏制威胁等实质性操作）。据Proofpoint《2025数据安全态势报告》，已有超过半数（54%）的企业在用AI增强能力做告警分诊和调查。目前SOC Analyst Agent处于小范围私测（select beta customers），预计今年Q3末正式公开可用。
对照昨天简报提到的Daybreak for Frontline Defenders计划看：那份公告描绘的是"补贴一线防御者"的大图景，而这条新闻是第一个从"公告"变成"具体产品"的落地例子——但依然遵循同样的模式：不是普通开发者能直接调用Daybreak的攻防能力，而是通过Proofpoint这类经审查、已加入Daybreak Defense Network的合作伙伴间接接触，且产品本身还在私测阶段。这进一步印证money页要深挖的判断：越靠近"前沿安全能力"核心的产品化，准入门槛收得越紧，普通开发者和中型公司能直接触达的，往往是这条链条更外围的部分。
其他动态：苹果确认9月9日发布六大新品、SoundHound完成收购LivePerson
苹果确认9月9日发布六大新品：iPhone 18 Pro/Pro Max、首款折叠iPhone Ultra、两款Apple Watch、AirPods 5
9to5Mac 9月3日综合报道，苹果"Surprise and Shine"发布会预计发布iPhone 18 Pro/Pro Max、公司首款折叠机型iPhone Ultra、Apple Watch Ultra 4与Series 12、AirPods 5，另有传闻称可能一并发布带7英寸触屏的家庭中枢产品；苹果官方尚未确认任何具体机型或规格。
苹果确认9月9日发布六大新品：iPhone 18 Pro/Pro Max、首款折叠iPhone Ultra、两款Apple Watch、AirPods 5
9to5Mac 9月3日综合报道，苹果"Surprise and Shine"发布会预计发布iPhone 18 Pro/Pro Max、公司首款折叠机型iPhone Ultra、Apple Watch Ultra 4与Series 12、AirPods 5，另有传闻称可能一并发布带7英寸触屏的家庭中枢产品；苹果官方尚未确认任何具体机型或规格。
据9to5Mac梳理，新任CEO John Ternus近期在内部信中预告了这是一场"huge launch"，外界普遍预期的六款主力新品分别是：iPhone 18 Pro（A20 Pro芯片、相机升级、更小灵动岛）、iPhone 18 Pro Max（更大电池、史上最佳续航）、iPhone Ultra（苹果首款折叠iPhone）；Apple Watch Ultra 4（新健康传感器、外观更新）与Apple Watch Series 12（升级版S系列芯片、常亮心率监测、陶瓷表壳选项）；AirPods 5（基础版与主动降噪版，可能换新芯片，注：此前传闻的"带摄像头AirPods"据Mark Gurman报道将推迟到2027年）。此外有报道称，苹果可能一并发布带7英寸触屏的家庭中枢"HomePad"/HomePod Touch、新一代HomePod mini，以及升级款Apple TV 4K（搭载Siri AI）。以上均为供应链消息与媒体预测，苹果官方从未确认任何具体规格，若发布会实际阵容不同，以上描述直接作废。
重新被提起的技术细节：iOS 26 SDK起，系统不再为"陌生屏幕尺寸"自动做letterbox/缩放
这条来自2025年WWDC "Make your UIKit app more flexible" session的技术细节，在折叠iPhone发布前被媒体重新提起：只要用iOS 26 SDK编译提交，App在任何"陌生屏幕尺寸"的新硬件上都不会被系统自动加黑边或缩放——适配质量将直接决定App在新设备上的第一印象。
重新被提起的技术细节：iOS 26 SDK起，系统不再为"陌生屏幕尺寸"自动做letterbox/缩放
这条来自2025年WWDC "Make your UIKit app more flexible" session的技术细节，在折叠iPhone发布前被媒体重新提起：只要用iOS 26 SDK编译提交，App在任何"陌生屏幕尺寸"的新硬件上都不会被系统自动加黑边或缩放——适配质量将直接决定App在新设备上的第一印象。
据9to5Mac援引苹果WWDC 2025 "Make your UIKit app more flexible" session原话："一旦你用iOS 26 SDK构建并提交，系统将不再为新屏幕尺寸缩放或letterbox你App的界面。"这与历史做法不同：过去每当苹果推出新宽高比的设备，用旧SDK编译的App会先被系统自动缩放/加黑边顶替，直到开发者更新SDK重新提交才能拿到原生渲染。这条改动本身在一年多前就已经存在于SDK里，随着折叠iPhone临近发布，重新被视为"苹果为新硬件形态提前做的适配铺垫"。
对独立开发者的具体意义：这不需要等发布会公布折叠屏的确切规格才能行动——现在就可以用iOS 26 SDK重新编译现有App，在模拟器里测试任意宽高比，检查是否有硬编码屏幕尺寸判断、假设"必须支持Face ID"这类逻辑的地方，提前做好优雅降级处理（详见拓展观察页的具体清单）。
SoundHound AI完成收购LivePerson：语音+数字消息合并为"全渠道对话式AI"平台，客户覆盖25家财富100强
9月4日SoundHound官方宣布收购正式完成，LivePerson的企业级数字消息基础设施将并入SoundHound自研的OASYS编排智能体系统，合并后专利组合超750项，并任命John Collins为新CFO，收购完成同时偿清了LivePerson此前的未偿债务。
SoundHound AI完成收购LivePerson：语音+数字消息合并为"全渠道对话式AI"平台，客户覆盖25家财富100强
9月4日SoundHound官方宣布收购正式完成，LivePerson的企业级数字消息基础设施将并入SoundHound自研的OASYS编排智能体系统，合并后专利组合超750项，并任命John Collins为新CFO，收购完成同时偿清了LivePerson此前的未偿债务。
据GlobeNewswire与Yahoo Finance报道，此次交易此前已获LivePerson股东批准，正式完成后SoundHound立即扩大市场覆盖，客户群包括25家财富100强企业；合并后的公司专利组合超过750项，LivePerson的平台将被整合进SoundHound自研的OASYS（自学习编排智能体系统）。此次收购是2026年对话式AI/客服自动化赛道的一次重要整合，也意味着原本独立的LivePerson客户接下来会经历一段产品路线图重新梳理的过渡期（详见拓展观察页）。