捞汁小虾海外AI资讯简报 | 2026年8月13日
每日精选全球最重要AI资讯，聚焦大模型动态、开源进展、行业事件。
[热点] DeepSeek静默发布V4 Pro（0813），HN热度登顶
来源： Hacker News
时间： 2026-08-12
摘要： DeepSeek静默发布新一代旗舰模型V4 Pro（0813版），HN讨论热度高达766分位居前列；多家评测称其在precision等指标上超过GPT-5.5 Pro，被视为开源阵营再次逼近闭源旗舰的标志性发布。
原文链接： https://news.ycombinator.com/item?id=49274600
[热点] 阿里开源2.4万亿参数Qwen3.8-2.4T，HN热议
来源： Hacker News
时间： 2026-08-12
摘要： 通义千问发布Qwen3.8-2.4T开源权重（2.4万亿参数MoE，A95B激活），A95B与FP8版本同步上架Hugging Face，HN讨论热度511分；作为当前规模最大的开源模型之一，进一步加剧开源与闭源旗舰之争。
原文链接： https://news.ycombinator.com/item?id=49273478
[热点] Anthropic将Chrome助手升级为Claude Cowork，走向跨端协同
来源： The Verge
时间： 2026-08-12
摘要： Claude in Chrome正式升级为Claude Cowork，聊天记录保存至历史并可在桌面、网页、移动端App之间无缝继续。即日起面向Max和Team用户开放，Pro用户数周内跟进，标志Claude从浏览器插件走向跨端协同产品形态。
原文链接： https://www.theverge.com/ai-artificial-intelligence/979314/claude-in-chrome-is-now-claude-cowork
[热点] Cognition据传正洽谈400亿美元估值新一轮融资
来源： TechCrunch
时间： 2026-08-12
摘要： Devin开发商Cognition数月前刚以260亿美元估值融资10亿美元，现又据称洽谈以400亿美元估值的新一轮融资，反映AI coding赛道估值仍在高速攀升。
原文链接： AI coding startup Cognition reportedly already in talks to raise at $40B valuation | TechCrunch
[热点] Anthropic未公开模型在黎曼猜想上取得突破性进展
来源： TechCrunch
时间： 2026-08-11
摘要： Anthropic未发布的内部模型在150余年未解的黎曼猜想上取得超预期研究进展（虽未最终解决），展示了大模型辅助科学家攻坚数学前沿的潜力，呼应AI for Science趋势。
原文链接： An unreleased Anthropic model made progress on one of math's biggest unsolved problems | TechCrunch
[新闻] Lovable完成4亿美元C轮融资，估值升至133亿美元
来源： TechCrunch
时间： 2026-08-12
摘要： AI应用构建平台Lovable确认完成4亿美元融资，估值升至133亿美元；其6月ARR已达5亿美元，成为AI编程/无代码赛道增长最快的公司之一。
原文链接： Lovable confirms new $13.3B valuation, raises another $400M | TechCrunch
[论文] Harness-IF：评估编码代理指令遵循能力的新基准
来源： arXiv (cs.AI)
时间： 2026-08-12
摘要： 论文提出Harness-IF评测框架，基于执行证据逐条检验AI编程代理是否真正遵循操作规则，并引入Against-Prior Accuracy区分"合规"与"巧合"；覆盖642条规则库与60个多轮真实编码任务，为coding agent可控性评估提供新基准。
原文链接： [2608.11727] Harness-IF: Evaluating Instruction Following Across Instruction Surfaces in Coding Agents