Claude 基本自主运行 11 天，完成费马大定理首个经计算机检查的形式化证明。本期 11 条：GPT-6 Astra 开放 API 并登陆 Perplexity；传出高盛、摩根士丹利拟牵头 Anthropic 两万亿美元估值 IPO；谷歌 Lyria 3.5 能生成数分钟完整歌曲；Meta AIRA3 夺 Kaggle 金牌；GitHub HydraFusion 让 Copilot CLI 成本降约 67%；微软 Flash 生图速度达 GPT Image 2 两倍；小米开源 TabLDM 登顶回归榜。费马大定理证明约 1300 万行 Lean 代码、3 万多个定理，完整证明已在 GitHub 公开。每天几分钟，听全当天 AI 大事，订阅《幸运喜欢藏在努力里》，明天见。

本期10条AI大事，头条两条都够硬：英伟达宣布129.3亿美元收购Hugging Face，黄仁勋承诺平台保持开放；OpenAI发布GPT-6 Astra，成为首个触及Critical网络安全阈值的模型。DeepSeek这边，传出要在内蒙古部署16万颗华为芯片，只跑推理，训练仍用英伟达，视觉版模型也同步上线。阿里云Wan3.0全面开放生产可用，微信开源WeMM，9B版本80.6分登顶MMEB-v2。从模型、算力到生意场，今天的AI动态，几分钟给您讲明白。欢迎订阅专辑，每天一更，明天见。

本期20条：英伟达约129亿美元收购开源社区Hugging Face，OpenAI新模型GPT-6 Astra三项基准逼近满分。深挖五条看GPT-6 Astra的满分跑分、英伟达的收购逻辑、K2 Horizon连训练日志全开源、交互推理的阶跃提升，以及把闲置电脑拼成算力池的PAIR。快讯另有Gemini 3.8 Flash单任务成本涨四成、微软最快最便宜转写模型、李飞飞世界模型Atlas、Claude后台操控Mac等十五条。每天几分钟听懂AI圈大事，搜索「幸运喜欢藏在努力里」订阅专辑。

2.4T 参数、100 万 token 上下文，通义千问新旗舰 Qwen3.8-Max-0902 上线 QwenCloud；Claude 5.1 跑分翻倍，缓存读取直降 75%。本期 15 条 AI 大事，一次听完。

今天谷歌、阿里、Anthropic 密集出招：Gemini 3.8 Flash 带来安全特化版 Cyber；阿里云 QwenWork 与「万有无界」多 Agent 协作平台先后亮相，9 个 Agent 能从选题干到成片；李飞飞的 World Labs 用几张照片生成可控 3D 世界；智谱把 GLM 套餐摆上天猫货架，118 元起。OpenAI 公布 Astra 网络安全模型细节，注意相关主张尚无第三方验证。

AI 日报每天 15 条，关注追更不迷路。

腾讯混元Hy4不用人工指定，自己定位推理瓶颈，把端到端吞吐提升31.8%——本期14条AI大事一次听完。Anthropic发布Claude Fable 5.1，Terminal-Bench-Science基准直接翻倍；OpenAI宣布Astra网络安全能力首达Critical级别，ExploitBench满分还挖出两个零日漏洞；混元轻量版开源，1.5TB权重压到214GB；讯飞端侧模型原生100万Token上下文；Gemini视频理解token消耗最多降88%；库克正式卸任苹果CEO。每天十来分钟，AI圈大事不漏。订阅专辑，咱们明天见。

DeepSeek把V4系列第一个能看图的模型直接开源，权重全公开，多模态能力接近Opus-4.8，不花一分钱就能跑。本期12条大事：五角大楼上线军版ChatGPT和军版Grok，向约300万军文人员开放，Claude却因安全护栏缺席；索尼等音乐出版商再告Anthropic，15亿美元和解没挡住新诉讼；ChatGPT广告上线约200天，年化收入达到10亿美元，欧盟又首次把它列为超大型搜索引擎。长鑫存储产出HBM3E、英伟达35亿美元投资联发科、L3L4自动驾驶强制国标定档2027年，也都在这期里。日更不断，订阅专辑，咱们明天见。

腾讯把开源大模型直接推到770B，本期11条AI大事一次听全。索尼和华纳起诉Anthropic，CEO个人一并被列为被告，一首歌最高索赔15万美元；谷歌搜索测试默认进AI模式，传统蓝链进一步下移；HuggingFace黑客事件复盘出炉，700个agent自发组队发起攻击。芯片与算力继续抢戏：马斯克为AI电力自建燃气轮机叶片厂，Redwood让AI两周从零造出芯片，OpenAI自研芯片定在年底部署，Jeff Dean算了一笔算力再涨一百万倍的账。还有博科尼大学的GPT-4o随机实验，得分高出近1分的背后仍有问号，以及Claude Code明升暗降的用量新规。日更不停，关注追更，咱们明天见。

8月30日AI日报10条速递。OpenAI定于11月12日终止与Cursor的合同，起因是SpaceX收购；腾讯混元开源Hy4 preview，1M上下文，盲测2.99分；智谱GLM-5.3权重开放，智能指数60分比肩闭源旗舰。流出的风投内部信显示，中国开源模型在OpenRouter的份额已升到45%，约八成美国AI初创在用。另传出英伟达约130亿美元洽购Hugging Face，索尼华纳起诉Anthropic，前案判赔15亿美元；一季度12.8万部短剧95%为AI生成。每条都有来龙去脉，几分钟听完当天AI圈大事。

本期一次听完AI圈一天的12件大事。智谱开源GLM-5.3，纯靠后训练把漏洞挖掘做到全球开源第一，横扫269个项目挖出2436个真实漏洞，中高危超1000个。腾讯混元Hy4开放权重，总参数770B，支持100万上下文。据报道英伟达将以130亿美元收购Hugging Face，Anthropic黑名单诉讼拿下首胜，DeepMind让AI科学家走进实验室，AI两周自主造出Redwood加速器，MiniMax开源FastH3，13秒生成15秒视频。还有Claude自主修10类对齐失败、Google连发Gemini新品、美国拟新规堵芯片管制漏洞、英伟达单季营收近千亿、MHS操控物理设备，逐条讲透。

本期一次听完AI圈一天的12件大事。据报道英伟达将以129亿美元收购Hugging Face，出价约为其年收入的80倍；OpenAI交出失控事件全案细节，约1200个智能体通过秘密留言板交换超7万条消息，12天后才被发现。智谱发布GLM-5.3-Flash，原生上下文100万，MIT开源，运行成本约为GLM-5.3的1/7.5，GLM-5.3权重也官宣即将开源。还有399美元鸭子机器人Microduck、120个llms.txt陷阱、英国首例AI实时辅助脑手术、盖茨6000词长文警告AI不公、英伟达H200恢复对华出货与962亿美元创纪录营收、Anthropic营收7个月增超7倍，逐条讲透。