欧盟根据《数字市场法案》要求谷歌允许竞争对手的AI助手和搜索引擎更深入地访问Android和Google Search的关键部分，此举可能削弱谷歌对两大平台的控制，影响其AI工具Gemini，并为竞争对手创造新机遇。

RACKP协议通过四个角色（裁判、行为者、索赔者、保管者）构建了一个去中心化的框架，用于在AI引发的事件中推导过错贡献分数和人类参与证明。该协议旨在通过标准化、可验证和可重现的过程，为AI责任分配提供基础设施，从而促进保险市场的形成和高风险领域的AI发展。

在花费10万美元后，团队通过四次尝试成功用AI将Postgres重写为Rust，生成了180万行惯用Rust代码。文章详细描述了每次尝试的方法、教训，以及最终版本pgrust的性能优势。

作者作为开发者生产力专家，综合多项研究指出，AI工具虽然让开发者感觉更高效，但实际交付速度并未提升，甚至在某些情况下变慢。瓶颈转移到了代码审查、CI/CD、QA等下游环节。文章提出了多项改进建议，包括更严格的代码审查、适应AI的CI流程、功能标志部署以及保护知识共享时间。

Cybara 是一个自托管的 AI 代理操作系统，结合了 Bun 代理运行时、Web UI、CLI、桌面应用、移动伴侣、加密钱包控制、多平台消息通道适配器和 MCP 支持。它支持多代理编排、浏览器自动化、安全消息传递和加密钱包操作，适合开发者和运营商。

Meta发布了Muse Spark 1.1，这是首个带有价格标签的Meta模型，标志着从开源权重向闭源商业模式的转变。同时，Meta在构建完整垂直堆栈——从芯片到云再到应用，引发其能否与前沿AI实验室竞争的讨论。

本文深入探讨了美国警方日益依赖人工智能的趋势，描述了在德克萨斯州沃斯堡举行的国际警察局长协会技术会议上展示的各种AI产品，包括面部识别、自动报告生成和实时犯罪中心。文章指出，尽管AI承诺提高效率，但缺乏监管和透明度的风险可能导致严重问题，并回顾了早期预测性警务的失败案例。

Linux基金会宣布x402基金会正式运营，该开放治理机构由40个成员组成，旨在标准化AI代理和应用的互联网原生支付协议。

超过200位诺贝尔奖得主和全球领袖齐聚罗马，参加为期三天的人工智能与核战争大会，最终签署了《罗马宣言》，强调人类尊严、合作与和平。此次活动受教皇利奥十四世通谕《伟大的人性》启发，重点讨论了人工智能治理的紧迫性。

通过语音控制工作。被称为“工作中的Siri”的AI助手。

Chat Thing推出免费工具，模拟AI代理访问网站的方式，从访问、引用、交易三个层级评估就绪度，并提供具体修复建议。

中国新规于周三生效，旨在遏制情感依赖风险，导致各大AI平台暂停定制伴侣功能，用户伤心告别。

为AI代理提供即时、硬件隔离的沙盒环境。

Neko Health 已获得7亿美元的C轮融资，在美国推出其AI驱动的预防性健康筛查服务，首先在纽约开设诊所。该公司结合全身扫描、血液检测和临床医生审查。

Spotify推出新措施，帮助听众识别AI生成音乐，已移除7500万首“AI垃圾”歌曲，同时鼓励艺术家使用新功能披露AI使用情况。

DocuWriter.ai是一款AI代码文档工具，可自动从代码库生成完整的书籍式文档、API文档和UML图，并随着代码变化自动同步更新。

随着企业引入人工智能以提高生产力，一个令人不安的悖论正在浮现：人们往往在培训那些可能取代自己的系统。人工智能伦理倡导者Madison Mohns提出了三条领导原则，旨在在拥抱技术进步的同时优先考虑同事的福祉，为人工智能增强人类潜力的未来铺平道路。

Northstar 是一款基于AI的拉取请求审查工具，适用于GitHub和Azure DevOps。它能分析风险、为审查者提供指导、草拟发布说明，且不存储差异。采用固定价格而非按席收费，强调隐私保护，不永久保存代码变更。

Glad-AI-Tor是一个基于真实用户投票的AI工具排名平台，覆盖语音、大语言模型、图像、视频、编程和音乐六大领域，共75款工具，188个投票。排名完全由大众决定，不可购买。

语义事务模型将整个AI代理任务视为一个原子事务，通过影子状态和效果发件箱暂存，在提交前进行全轨迹验证，防止多步攻击。本文以Cordon和ATP系统为例，说明该模型如何解决代理工具调用的双重写入问题，并通过EchoLeak和ForcedLeak两个零点击注入案例揭示传统运行时和模型级过滤的不足。

本教程详细介绍了如何使用Patter SDK构建一个用于餐厅预订的语音代理工作流。内容涵盖动态调用变量的定义、可调用工具的注册（如查询空位、预订、营业时间和转接人工）、输出护栏的叠加、语音转文字和文字转语音的模拟、脚本化通话流程的运行、延迟和成本仪表盘的追踪，以及通过确定性评估套件验证代理。最后，展示了如何将相同的逻辑映射到使用Twilio和OpenAI Realtime的实际部署中。

全球首个开源3万亿参数模型

SpaceXAI 于 2026 年 7 月 15 日开源了 Grok Build，这是其 grok CLI 背后的终端 AI 编码代理。源代码以 Apache 2.0 许可证发布，包含代理循环、工具调度、TUI 和扩展系统，但 Grok 4.5 模型保持闭源，且不接受外部贡献。

Linux 创始人 Linus Torvalds 明确表示 Linux 不是反 AI 项目，反对 AI 的贡献者可以分叉或离开。他认为 AI 是有用的工具，维护者应利用它而非逃避。

Thinky首次发布完整LLM系列Inkling，采用MoE架构，总参数量975B，激活参数41B，支持文本、图像、音频输入，1M上下文窗口，Apache 2.0许可。性能上成为美国最强开源模型，但略逊于中国开源旗舰和闭源模型。

哈斯克尔平台Scarf的创始人Avi Press宣布将新开发转向Python，理由是哈斯克尔在AI辅助开发方面落后。此举在哈斯克尔社区引发激烈争论，支持者呼吁语言应适应AI时代，而反对者则担忧AI的危害。

VaultCharts是一款免费的桌面交易应用，结合了图表工具与AI助手。它支持多种AI模型，以本地优先为特点，用户可以在有或没有AI辅助的情况下分析市场。

探讨AI生成的低质量内容如何损害二战历史信息的准确性和质量。

Ode是一家端到端AI解决方案合作伙伴，与Anthropic紧密合作，将前沿模型转化为可衡量的商业成果。公司专注于规模化生产系统，提供从路线图到部署的全流程支持。

欧盟官员对AI公司Anthropic派出初级员工出席关于AI安全的听证会表示不满，认为该公司不重视欧洲。