🧠
GPT-6 Astra向ChatGPT付费用户大面积放量推送，奥特曼亲自吆喝「货到上桌」
继9月4日发布后，OpenAI的GPT-6 Astra正式从实验室走向用户。官方最新披露，Astra正逐步向ChatGPT付费用户开放：GPT-6 Pro面向Pro、Business与Enterprise计划推出，Pro用户还可在Chat、Work和Codex中使用Astra，Sam Altman也亲自下场吆喝新旗舰“货到上桌”。这款重点强化长链路Agent任务、软件工程、计算机操作、浏览器使用以及科学和专业工作的新旗舰正式进入开发者与办公工作流，外界预期新一轮基于Astra的数学、科研与Agent“狠活”正在路上。
🧠
GPT-6带火「循环Transformer」：架构叙事转向大上下文与缓存，阿里被指早有布局
GPT-6发布后，“循环Transformer（Recurrent Transformer）”这类能跨时间步复用共享权重与上下文的架构方向讨论升温。相比纯自注意力的高显存消耗，线性/稀疏注意力与循环叠加的组合被认为有助缓解长上下文存储、降低KV缓存占用、支撑更长的多步Agent推理。媒体梳理指出，国内头部玩家如阿里在该路线上早有所布局。文章提示：循环深度这类“看不见的推理”，可能成为继模型量与数据后，按单任务成本角力的新变量。（技术综述向，以媒体报道为准）
🖼️
新版GPT Image 2.5已能「伪造」GPT-6发布会级视觉内容，AIGC拟真引真伪担忧
在GPT-6引发的狂欢中，OpenAI新版GPT Image 2.5展示出惊人视觉拟真力，已能生成足以用来营造「GPT-6发布会」等假象的高真图像内容。评论认为，当文生图/视频已能一键产出以假乱真的事件级素材，深度伪造与内容真伪将成为平台治理绕不开的考题，也让AI生成内容标识（水印）的落地更具紧迫性。
🎬
字节Seedance被捧为GPT-6「最佳拍档」：LLM结合视频生成的工作流加速融合
GPT-6上线后兴起的多模态工作流讨论中，多家评测与开发者观点视字节跳动的视频模型Seedance为与GPT-6组合手感“最佳拍档”的视频侧选择，作者甚至打趣“Sora：那我呢？”。核心信号是：旗舰语言模型不只产出文本，而是与文生视频串联成“一句话→成片”的工业化流水线，视频AIGC与Agent的协同正从演示走向生产力工具。（媒体立场观点）
🏭
腾讯、字节、阿里「会战」AI办公之后，Agent第一场巨头战役定调
复盘这场AI办公混战：字节把TRAE、扣子团队整体并入豆包体系，7月底飞书产品团队也并进去、“豆包工作”正式发布；腾讯WorkBuddy已跑出千万月活；阿里则在整合桌面Agent、云端Agent与钉钉能力。创新工场联合CEO汪华判断，大厂集体兴奋背后的驱动力是“恐惧”——Claude Code冲千万MAU前ARR已到200亿美元，法律、财务等高价值专业工作一旦被Agent重构，丢的不只是用户规模而是整条赛道船票；办公Agent又恰好处在既体现模型真能力、又能跑通商业模式算力的“理想区间”。他断言“船票”只剩两张：成为水电煤式基础设施、以及掌握基础模型。
🏭
Stripe收购OpenRouter，AI价值重心向「支付+路由分发」迁移
支付龙头Stripe将AI模型路由聚合器OpenRouter纳入麾下。OpenRouter以统一接口聚合多家大模型、按真实用量计量计费著称，是开发者常用的“模型百货”与价格窗口。并购被解读为：AI产业链价值重心正从单一模型API向承载“分发-计费-结算”的金融路由层沉淀，AI开支开始接入成熟支付基础设施，模型厂商与支付通道的格局或将因此重排。
🏭
千问办公上线首月用户突破3000万，企业用户占比过半
阿里旗下“千问办公”上线首月用户数突破3000万，且企业用户占比过半。作为阿里整合办公场景Agent的重要一环，其规模放量被视作国产AI办公入口之争的一个信号——巨头们正围绕“让Agent学会干办公活”抢占企业工作流入口。
🤖
具身ICL创业玩家登场，创业公司可可矩阵押注「上下文成为机器人Scaling新赛道」
媒体通过对国内创业公司可可矩阵（COCO Matrix，2026年4月成立）创始人高宇翔的对谈指出，具身智能的Scaling维度正从“堆数据覆盖任务”转向“上下文学习（ICL）”。背景是：8月Generalist AI发布GEN-1.5、Skild AI发布S1机器人基础模型，均主打“给机器人看一遍演示、无需微调即学会新任务”；S1支持最长10分钟长任务示范，未见任务上视频context相比纯语言指令提升约7倍；李飞飞、Jim Fan等提出的RoboTTT则首度系统把长上下文scaling搬到机器人视觉运动策略。高宇翔（西安交大少年班、JHU博士辍学、曾在傅利叶带队打通人形机器人全链路）认为长上下文的关键不是把窗口从1分钟拉到10分钟，而是构建能持续压缩、筛选、复用有效历史信息的“流式记忆”机制。
📐
Anthropic官宣：Claude用11天完成费马大定理首个完整形式化证明，代码规模超Mathlib五倍
Anthropic宣布Claude完成首个端到端、可由Lean逐行完整检查的费马大定理形式化证明：约1300万行Lean代码、超3万个中间定理（最终证明采用其中约29500个），工程规模比Lean核心数学库Mathlib大5倍多，全程仅11天。主导者Tianyi Peng为清华姚班2017届本科、MIT 2023博士，现是哥大助理教授兼Anthropic研究员；项目用团队自研的“Prove2Me”平台（把证明拆成由定理节点构成的有向无环图）+基于Claude Code的multi-agent harness，约消耗60亿输出Token、内部模型能力相当于Claude Fable 5.1，人类只给了高层方向提示。审阅者、帝国理工Kevin Buzzard（自2024年启动多年社区形式化项目）评价为“非凡的自动形式化成果”，意味着如此体量与复杂度的现代数学成果开始能由AI自动搬进形式化系统，数学文献形式化具备了大规模提速的可能。官方同期论文见 anthropic.com/research/formalizing-fermats-last-theorem。
📐
陶哲轩对GPT-6孪生素数突破发「AI污染数学」警告：Lean把素数间距上界从246推进至186
GPT-6发布即宣布在孪生素数方向取得进展，用Lean形式化证明把“连续素数间距上界”从246推进到186。一向拥抱AI的陶哲轩却罕见发告警：AI解题太快且过程“黑盒”，可能“污染”开放问题本身、掩盖科研中宝贵的“失败”，从而抑制发散式领域发展。他以纳维-斯托克斯方程全局正则性为例，警告若解答由不透明AI在内部完成且过程被公司隔绝于公众视野，数学虽“被解决”却几乎无新增价值，严重时AI对数学影响或从正面转净负面。同期Anthropic、Axiom也分别把间距上界推到188、212，而牛津数学家Julia Stadlmann 8月31日刚凭对平滑模数新估计缩至240——陶哲轩称这是“令人无语的一幕”，幸而人类成果赶在被“污染”前发表。
🧠
谷歌十年画出果蝇大脑完整图谱，硕士生用GPT-6两天令其在沙盒里「飞起来」
一则“果蝇版黑客帝国”故事引发关注：谷歌团队历经约十年构建出果蝇大脑的完整连接组（神经连接图谱）级别数据，而一名硕士生借助GPT-6在两天内让这个数字果蝇在模拟沙盒中“动了起来”。这一案例被视作“结构连接组→功能化数字大脑”链条迈出的一步，也再次凸显大型模型+神经科学数据的结合可把原本以年计的建模与仿真工作压缩到数日。
⚖️
索尼、华纳等35家音乐出版实体起诉Anthropic，全球三大唱片集团实现对A社「版权总攻」
8月28日，索尼音乐、华纳查普尔及其关联公司组成的35家音乐出版实体，在美国加州北区联邦法院起诉Anthropic及其CEO达里奥·阿莫迪、联创本杰明·曼；加上年初环球音乐已在该法院起诉Anthropic，全球三大唱片公司集团已全部就位。争议核心并非AI生成音乐（Claude不做音乐），而是训练语料中的歌词与曲谱。据此前Bartz图书版权案披露，阿莫迪批准从盗版站下载了至少700万本盗版书用于训练，音乐公司称其中含数百部歌曲集/歌词书，再叠加爬虫从LyricFind等抓取的歌词，被侵权作品或达数万部；若按每部最高15万美元追索，索赔可能达数十亿美元。这也是Anthropic就盗版书支付15亿美元和解金后，版权持有人接连上门的又一轮法律绞索。
🛡️
大模型蒸馏时代生变：有厂商被曝改写API「切断蒸馏后路」，白嫖思考链（CoT）处境被收紧
围绕模型间“蒸馏”的版权与商业战升级。多方报道显示，部分头部模型厂商已尝试通过改写API响应方式、调整推理输出格式等手段，让下游更难低成本地把旗舰模型的长“思考链（Chain-of-Thought）”蒸馏到自家小模型，文章称之为“白嫖CoT的日子到头了”，并认为大模型蒸馏时代或将就此结束。此举把“训练数据/行为产权”从论文争议推向产品层的技术护栏，也让围绕“谁能引用谁的能力”的行业合规与商业模式之争更加白热化。（行业观点，以报道口径为准）
🚀
MIT教授扔出4张照片，3个Grok一小时「造出」可用零件：Agent从图纸走进制造
新智元式AI Agent进展刷屏：有团队（围绕MIT教授工作）扔给系统4张实物照片，3个Grok智能体协同在一小时内完成了从视觉逆向到产出可用机械零件的闭环。这一“照片进、零件出”的案例，标志着多智能体Agent正从纯数字任务（代码/文本）向结合3D建模与实际制造的“数字-物理”工作流延伸，为质检、逆向工程与小批量生产自动化提供想象空间。
🛡️
一个人、一只鼠标：他42天击退3103个由大模型驱动的攻击性智能体
一则AI攻防实录引发关注：一名独立防御者几乎独自（有人戏称“一个人一只鼠标”）在42天内扛住了3103个由大模型驱动、持续发起进攻的攻击性智能体，防线没有被突破。案例折射出的现实是：当Agent既能自动化干活也能自动化“坏活”，由LLM批量生成的攻击流量让单点系统压力剧增，防御也更依赖账户安全加固、行为识别与本地化部署等复合手段，AI攻防正从“工具对抗”走向“智能体对智能体”。
🎮
B站首届AI创造公开赛收官：超八成参赛团队为「一人团队」，内容创作门槛大幅下移
近期B站首届AI创造公开赛收官，一个亮眼数据是超八成的参赛者为“一人团队”。当AI能包揽写稿、出图、配音、剪辑甚至Agent调度时，曾经需要编导+摄像+后期成建制的视频创作被压缩成一个人+若干Agent即可完成，这也被视为“AI让创作者身份重构”的缩影，平台内容生态门槛随之被重新定义。（含对比赛与创作者经济生态的观察）
🚚
卡车自动驾驶里程超10亿公里，嬴彻科技提出「货运物理AI」路线
干线物流自动驾驶公司嬴彻科技宣布其自动驾驶卡车累计测试与运营里程突破10亿公里，并在此节点提出“货运物理AI”的技术与商业化路线，把卡车智能从“看路开车”延伸向对整个货运物理世界的理解与决策。此举被视作自动驾驶在重卡赛道从“跑通Demo”迈向“跑通里程与商业闭环”的一个里程碑，也是生成式/具身能力渗透物流端的一个信号。
今天的AI行业关键词：AI正在改写「如何获得新知识」的方式，以及由此引发的反噬与博弈。
这期日报最让我心跳加速的不是又一款跑分怪兽，而是一个被反复验证的判断：大模型正从「回答已知问题」翻篇到「参与创造未知」。Claude用11天把费马大定理翻译成1300万行Lean代码、绕过人类以年计的工程；GPT-6用Lean把孪生素数间距上界推到186。当AI能自主完成数学史上最大规模的形式化验证，那种「人类在Loop、机器在Prove」的新科研范式是真的来了。可同一时间，陶哲轩的冷水也特别清醒——如果AI在看不见过程的黑盒里把难题「一口吃掉」，那么真正滋养后世数学的那些失败、弯路和沿途思想，可能一起被抹掉了。会做题不等于推动知识，这个张力正是我判断未来一两年「AI开发 vs 数学/科学」议题反复争夺的焦点：可解释性与过程透明度，会从论文议题升级成科研资助与学科生态的博弈。
另一个信号是「护栏之战」正从政策文件落到产品层。索尼、华纳等35家音乐出版实体把Anthropic拖进版权总攻（前有15亿美元图书和解，后有歌词曲谱索赔或达数十亿）；同时有厂商开始用改写API来切断下游「白嫖思考链」的蒸馏路径。中文互联网里我们常讲「得数据者得天下」，如今数据、行为甚至思考过程都变成要付费、要标识、要被划界的资产——AI时代的版权与知识产权故事，才刚刚翻开第一页。
还有一层「护城河在溃缩」的产业现实：Agent让办公赛道的护城河从「用户平台」退到「水电煤基础设施+基础模型」——WorkBuddy千万月活、千问办公首月3000万都说明入口级的用户争夺仍存，但汪华那句话点破了本质：办公Agent本质是「模型+工具链」的组装，巨头靠堆钱只能买到算力，买不到差异，于是利好的是贴近开源模型、更懂调优生态的创业者。加上Stripe拿下OpenRouter——当模型多了、Agent能干了，真正挣稳定钱的也许是那个「收过路费」的结算和路由层。
—— 我的趋势预测：下一个季度请盯紧「可审计性」。一是数学/科研圈会倒逼头部Lab公开更多推理痕迹，否则再炫目的「仅用X天证明Y」都会被打折；二是版权与蒸馏会从诉讼和API改动，固化成一套「数据-训练-能力」的三层合规框架，谁先把授权、署名、溯源做干净，谁才能安心把Agent放开到法律、金融、出版这些「责任敏感」行业。至于具身与办公，我赌的是「上下文能拉多长、记忆会不会忘」会成为继参数量之后的下一个军备指标。