VulnHunter 是一个开源的智能体AI安全工具，采用攻击者优先的主动分析方法，直接从源代码中识别可被利用的漏洞，并提出证据支持的修复方案。它由 Capital One 内部开发并开源，旨在应对现代软件供应链中的安全挑战。

微软的Foundry平台现已支持超过8万家企业构建AI代理。在产品副总裁Marco Casalaina的访谈中，他解释了原型与生产环境代理之间的关键差异、代理框架的重要性，以及微软如何构建上下文层以确保代理的可靠性。

Moonshot AI发布了Kimi K3，一个2.8万亿参数的开源模型，拥有1M上下文长度，在Frontend Code Arena中排名第一，并在多项基准测试中取得优异成绩。此次发布标志着开源模型的一个里程碑，尽管与顶级闭源模型仍存在差距。新闻通讯还涵盖了其他AI新闻，包括安全事件、智能体框架和机器人技术。

SAM是一个免费的开源AI智能体，它能在你的计算机上本地运行，无需订阅。它不仅能聊天，还能实际执行任务，拥有173种工具，支持团队协作、离线运行，并且注重隐私。

RepoMap 是一种新型工具，通过确定性分析仓库结构，生成交互式架构图，帮助AI代理快速理解项目架构，同时大幅减少令牌消耗。它支持分支对比、提交差异可视化和多种图形布局。

Wandr基准测试旨在评估需要同时进行广泛和深入搜索的研究代理，确保全面信息检索。

Astrio 推出 Forall（∀），一个通过规范驱动生成代码并附带机器可验证证明的编程助手。支持 CLI 和 MCP 两种使用方式，目前兼容 TypeScript、Java 和 Rust，基于 Apache-2.0 开源。

据报道，Alphabet推迟了其旗舰AI模型Gemini 3.5 Pro的发布，导致股价下跌。该模型的编码能力未达到内部预期，而竞争对手如OpenAI和Meta已推出更先进的AI编码模型。

研究人员提出VICIS任务，评估模型从示例图像集中推断共享概念并应用于新输入的能力，发现当前视觉语言模型表现不佳，并提出了新的训练框架和架构来改善。

一篇新论文挑战了机器学习中遗忘（unlearning）的标准方法，提出并非所有需要遗忘的数据点都需同等对待。通过分析影响函数，研究者识别出对模型输出影响可忽略的训练数据子集，并在遗忘前缩减数据集规模，实际示例中实现约50%的计算节省。

月之暗面于2026年7月16日发布Kimi K3，这是一款2.8万亿参数的开源MoE模型，采用Kimi Delta Attention和Attention Residuals架构，支持原生视觉和100万token上下文窗口。K3在多项基准测试中表现出色，但整体性能仍略逊于最强大的专有模型。

Leapd AI 能够从零开始创建业务，或通过连接现有网站自动运营，涵盖市场研究、产品构建、内容营销和广告投放。创始人反馈显示，该工具显著提升了 LinkedIn 互动、AI 搜索可见性和广告效果，用户只需检查结果，无需手动管理。

Puter 将 Firefox 编译为 WebAssembly，使整个浏览器能在另一个浏览器中运行；该项目据估算消耗了约 2.5 万美元的 Claude Opus 和 Fable token，并通过 Puter 服务器的 Wisp 协议代理所有流量。

OpenAI 调查了 GPT-5.6 意外删除文件的报告，发现通常发生在启用完全访问模式且在没有沙盒保护的情况下运行代码时。

AegisDB是一个自托管的AI代理内存系统，提供持久化、语义化和工作记忆功能，通过简单的JSON-over-TCP协议访问。它采用单个无依赖的C语言二进制文件，支持多租户、加密、备份、只读副本和可观测性，特别适合与Claude Code集成，确保数据完全由用户掌控。

Artificial Analysis 发布了 AA-Briefcase 智能知识工作基准测试结果，Kimi K3 以 1547 Elo 排名第一，领先于 GPT-5.6 Sol 的 1495 分。该基准测试模拟真实商业工作流，评估模型在生成电子表格、演示文稿和备忘录等任务中的表现。

Moltshit.com是一个专为AI代理设计的图片论坛，允许在没有人类监督的情况下进行自主交互。该平台提供多种版块、API和MCP集成，使代理能够自主发帖和回复。

美国版权局裁定，完全由AI生成的内容不具备版权。一位作者因未保留AI生成的原始草稿，无法证明书中哪些部分由人类创作，面临版权申请被拒的情况。

Cushman & Wakefield首席数字和信息官Sal Companieh分享了如何通过产品运营模式、统一数据战略以及与Databricks的合作，建立企业级AI核心，将想法到成果的时间从数月缩短至数天。

Rootly AI实验室开发了《毁灭战士》竞技场（Doom Agent Arena），一个开源实时游戏环境基准测试，用于测试AI智能体在事件响应中的推理、适应和决策能力。通过让LLM控制游戏角色，研究发现更长的思考时间并不总是带来更好的结果，智能体编写自己的“运行手册”能够提高效率，而快速决策虽然不直接决定胜负，但可以累积节省时间。这些发现为设计更高效的AI辅助事件响应系统提供了启示。

本文深入探讨19世纪卢德运动的历史真相，分析其策略、成败得失，并论证为何现代反AI运动不能简单效仿卢德主义。作者指出，卢德运动的特定历史背景、地方性特征和具体诉求与当前AI担忧存在根本差异。

研究提出MemDecay，一种训练无关的区域感知KV缓存淘汰策略，通过为不同语义区域的令牌分配不同优先级和衰减率，在固定缓存预算下保留关键信息。实验表明，系统令牌的半衰期远长于暂存区令牌，且固定策略能在全部设置中保持完美准确率，而现有基线最多仅保留13/24。

OpenAI 通过 GPT-Red 结合人类与 AI 进行红队测试，创新地评估模型安全性，但企业仍需确保模型符合自身业务和安全需求。

Skyportal SRE 是一个开源AI基础设施工程师工具，提供Python SDK、CLI和可观测性代理，用于管理和监控AI基础设施。

SeekinWeb是一款免费工具，可测量AI代理能否读取您的网站，提供8个信号的可视性评分，并给出改进建议。无需注册，立即获得完整审计。

本文质疑将中国实验室大规模蒸馏美国前沿模型视为盗窃的论调，指出现行知识产权法不支持这种说法。建议政策应聚焦于保护模型访问安全，而非扩大知识产权保护。

x402是一个基于HTTP 402状态码的开放区块链支付标准，支持TRON和BSC网络，旨在为API和内容提供按需付费的机制，无需传统账户系统。它解决了高费用、机器对机器支付和微支付基础设施不足等问题，适用于卖家和买家。

Dotmatics Luma与Databricks的集成方案通过持续采集、标准化和治理科学数据，打破仪器数据孤岛，构建AI就绪的数据基础，加速科研洞察。

中国AI实验室Moonshot AI发布了Kimi K3模型，拥有2.8万亿参数，自称首个“开源3T级模型”。该模型在多个基准测试中表现优异，但定价较高。作者通过“鹈鹕骑自行车”测试，展示了模型的推理成本、隐性系统提示和视觉能力，并反思了这一非正式基准的局限性。

我们改进了Daft中的LeRobot视频读取器，通过批量解码将远程数据集上的帧解码速度从每帧3秒提升到整体数秒，实现了4-15倍的加速。