头条
Cognition 收购 Windsurf
https://techcrunch.com/2025/07/14/cognition-maker-of-the-ai-coding-agent-devin-acquires-windsurf/
在谷歌以24亿美元反向收购只挑走了Windsurf的领导层，员工没拿到报酬后，Cognition揽下了Windsurf剩余250人的团队和年收入8200万美元的业务。此次收购让Cognition具备人工智能编码代理和集成开发环境（IDE）能力，得以与年收入5亿美元的Cursor竞争，还恢复了Windsurf对Claude模型的访问权限，此前因有被OpenAI收购的传闻，Anthropic切断了该权限 。
Meta正考虑减少对开源的投入
https://links.tldrnewsletter.com/MjP7LZ
新成立的超级智能实验室正考虑放弃其旗舰开源“巨兽”模型，转向封闭式开发，这可能标志着该公司长期秉持的开放人工智能理念发生转变。
深度分析
大语言模型（LLM）幻想时刻
https://gwern.net/ai-daydreaming
大语言模型（LLMs）没有后台进程，无法像人类在 “白日梦” 时那样在看似不相关的主题间建立联系。这就是人工智能尚未有新发现的原因。这篇文章提出了一个解决办法：建立一个系统，促使大语言模型（LLMs）随机提取事实，在这些事实间生成新联系，然后用一个评判模型筛选出真正有价值的见解。
Windsurf 卖得太便宜了？72 小时的疯狂事件与人工智能编码估值
https://www.saastr.com/did-windsurf-sell-too-cheap-the-wild-72-hour-saga-and-ai-coding-valuations/
在OpenAI 30亿美元的报价到期后，谷歌以24亿美元收购了Windsurf的关键成员，而Cognition接管了Windsurf的剩余部分。尽管Windsurf的年度经常性收入（ARR）高达2200万美元且增长迅速，但失去Anthropic API访问权限以及领导层的离职削弱了其地位。由人才竞争和平台依赖推动的人工智能编码行业估值虚高，这意味着Windsurf的成交价可能低于其价值。
工程
Gemini 嵌入功能现已在 Gemini API 全面推出
https://developers.googleblog.com/en/gemini-embedding-available-gemini-api/
谷歌首个Gemini Embedding文本模型现已通过Gemini API和Vertex AI向开发者全面开放。该模型跨领域提供统一的前沿体验。它支持一百多种语言，最大输入令牌长度为2048。Gemini Embedding模型的定价为每百万输入令牌0.15美元。
AWS 为对现有编码环境不满意的开发者预览 Kiro IDE
Kiro是一款由Claude驱动的“智能集成开发环境（agentic IDE）”。它在生成实际代码前，先制定规范和用户案例，以此解决人工智能生成代码的质量问题。该工具旨在超越“凭感觉编程（vibe coding）”，减少开发者调试和审查人工智能生成代码的时间。
基于能量的Transformer是可扩展的学习者和思考者
https://www.arxiv.org/pdf/2507.02092
基于能量的Transformer用习得的验证函数取代直接预测，这些函数为输入和候选输出之间分配兼容性分数。该架构首次在规模上超越标准Transformer，因为它能让模型在无外部监督的情况下动态分配计算并自我验证预测，扩展率最高可提高35%。
其他
笔记本LM中助力更好研究的精选笔记本
https://blog.google/technology/google-labs/notebooklm-featured-notebooks/
谷歌在NotebookLM中推出了“精选笔记本”，提供专家和机构精心整理的研究资料集，以帮助用户借助高质量资源探索各类主题。
国防部向Anthropic、谷歌、OpenAI和XAI拨款高达2亿美元用于人工智能研究
https://www.cnbc.com/2025/07/14/anthropic-google-openai-xai-granted-up-to-200-million-from-dod.html
美国国防部将向Anthropic、谷歌、OpenAI和xAI授予高达2亿美元的人工智能开发合同。这些合同将助力该机构加速采用先进人工智能技术，以应对重大国家安全挑战。这些公司将在多个任务领域开发人工智能智能体。人工智能将改变美国国防部支持作战人员以及保持对对手战略优势的能力。
GROK在iOS上推出带动漫头像的交互式人工智能伙伴
https://www.testingcatalog.com/grok-debuts-interactive-ai-companions-on-ios-with-anime-avatars/
Grok现在有3D动画伙伴，比如一个俏皮的动漫角色和情绪多变的小熊猫鲁迪，用户可以通过对话提升它们的等级。
英伟达芯片成为首批受行锤位翻转攻击影响的GPU
行锤攻击让黑客通过快速反复访问物理内存单元行，来更改或破坏存储在内存中的数据。
人工智能公司Anthropic的工具目录
https://www.anthropic.com/news/connectors-directory
Anthropic推出了一个工具目录，展示与Claude的集成，能直接访问Notion、Figma和Stripe等应用，实现更具情境化和协作性的互动。
CUDA后端
https://github.com/ml-explore/mlx/pull/1983
这个拉取请求是苹果正在推进的工作，旨在为MLX添加CUDA后端。目前除了教程示例外，没多少功能能用。
