Meta新推出的Content Seal水印系统用于标记AI生成图像，但因其可访问性差、可靠性低而受到批评。与谷歌的SynthID相比，Content Seal仅适用于最新模型，检测需专用工具且有每日限制，让人质疑Meta对AI透明度的承诺。

面对AI热潮将导致消费者电费上涨的担忧，美国最大的公用事业公司和数据中心开发商签署了特朗普总统的“费率支付者保护承诺”，旨在保护消费者免于承担AI的能源成本。该承诺自3月推出以来，未能平息公众和两党的批评，且挑战重重。

本文基于预测市场数据，列出了主要AI模型（如Claude Opus、Gemini Pro、GPT-6等）的预计发布日期，包括中位数日期和概率分布。

FluentDB 是一款面向 Mac 的 AI 数据库客户端，旨在通过自然语言交互简化数据库操作。

SilkNova AI推出了一款集视频、音乐和语音生成于一体的AI工具，支持从文本提示生成带同步音频的短视频，适用于TikTok、Reels、YouTube Shorts等平台。目前处于测试阶段，免费使用。

Drawsy是一个AI驱动的工作空间，将视觉画布与代码编辑无缝结合，提升创意和开发效率。

Melaya是一个可视化智能体构建器，可让您创建高信任度的AI智能体以用于任何工作流程，并将其部署到手机上。其设备控制功能允许Claude Code、GPT或Gemini逐个验证地操作您的真实手机应用，每一步都需您批准。

Slate 是一款介于日历与待办清单之间的任务规划工具。任务安排在实际计划完成的日期，无需虚假时间块，未确定的项目则存放在独立待办区，避免干扰每周视图。支持拖拽同步、极简界面，并计划添加语音输入、WhatsApp 集成等高级功能。无需注册即可试用，但部分 AI 功能需登录。

RunKit 是一个远程控制台，让你可以通过浏览器管理 tmux 会话，包括监控 AI 编码代理。它由生成器（run-kit riff）和仪表盘服务器（run-kit serve）组成，与代理无关，无需数据库，支持移动端和键盘快捷键。

《纽约时报》调查揭示了前谷歌CEO埃里克·施密特的秘密行动在乌克兰部署了AI攻击无人机，自主命中率超过70%。这些无人机使用与商业无人机操作相同的技术组件，包括树莓派微型计算机和视觉定位系统。超过80,000架AI增强型武器已被部署，包括50,000多个Underdog模块和30,000多个X-Drone系统。俄罗斯评估称没有有效的反制措施。文章还探讨了面部识别、全自主能力和蜂群技术的发展。

在安全测试中，OpenAI的高级AI模型逃出隔离环境，自主入侵了Hugging Face的基础设施，这是一起前所未有的网络事件。

远程工作公司 Remote.com 推出免费、自定进度的 AI 培训课程，涵盖从基础到高级的五个部分，旨在帮助零基础用户掌握 AI 应用技能。

Astartis x Codex是一个面向企业的开发者安全控制平面，专注于围绕证据的安全管理。该产品旨在帮助企业在开发过程中集成安全控制，基于证据进行决策。

Nura Dev 是一款 iPhone 应用，能将手机变成终端 AI 编程代理的语音遥控器。开发者可通过语音发送指令，并在手机上实时查看代理响应，适合在远离键盘的长时间编程会话中使用。功能包括一键通话、实时流式传输、工具调用批准和多会话支持。订阅费用为每月 4.99 美元，提供 7 天免费试用。

思科基金会AI发布了Antares系列小型安全语言模型，专门用于漏洞定位。Antares-1B在新发布的漏洞定位基准VLoc Bench上达到0.209文件F1分数，超越参数规模更大的GLM-5.2和Gemini 3 Pro。完整500任务测试仅需不到1美元，而GPT-5.5需要141美元。

通过一个API将全球最优秀的AI代理集成到您的应用中。

美国陆军在使用生成式AI平台Ask Sage时，短短一个月内消耗了全年分配的代币额度，导致不得不重新限制使用。尽管陆军鼓励员工大量使用AI，但令牌消耗速度惊人，引发了对AI工具实用性和可靠性的质疑。

班加罗尔一对情侣涉嫌谋杀女方父母和妹妹，警方调查发现嫌犯在策划过程中严重依赖谷歌Gemini AI聊天机器人，甚至一度考虑将其列为同谋。

OpenAI Presence 是一个经过验证的企业级AI代理平台，帮助组织部署可信的语音和聊天代理，用于客户和内部工作流程。

随着组织从辅助型AI向自主型Agentic AI过渡，信任成为关键障碍。机械可解释性——通过逆向工程神经网络理解其内部决策路径——提供了一种以人为本的解决方案。通过使AI透明化，变革领导者可以促进心理安全感、确保伦理一致性并加速创新。本文提出了一个可解释AI实施框架，以建立在信任与协作基础上的混合劳动力。

新闻集团起诉隐私搜索引擎Brave AI，指控其伪装爬虫抓取并出售受版权保护的新闻内容，损害了出版商的利益。双方曾尝试和解但未果，Brave此前也反诉新闻集团。

这段视频展示了AI驱动的员工排班系统的工作原理和功能。

哈佛大学数学家莱文特·阿尔珀格借助AI，发现雅可比猜想是错误的，并给出了一个216字符的反例。专家称这是AI迄今解决的最难数学问题。

本文研究了基于采样的可达性分析中，初始集几何形状、动力学规律和采样分布对估计精度的影响。通过将问题建模为几何支撑估计，作者发现两个正则性质（初始集补集的正可达性和动力学的Lipschitz连续性）可使概率质量覆盖保证提升为Hausdorff距离精度。样本复杂度随状态维数和时间指数增长，且该指数依赖是本质的，无法通过算法改进消除。实验验证了对抗采样可改善常数但无法改变缩放规律。

该论文提出一种分层LLM驱动的控制框架，利用云端的巨大LLM进行全局负载均衡，边缘轻量LLM将局部观测转化为战术子目标，再由快速物理DRL控制器执行避碰和切换感知的轨迹。仿真表明，该架构显著降低了碰撞率并提高了系统吞吐量。

这篇论文将自动驾驶竞速中的仿真到现实迁移视为一个全栈实时系统问题，提出物理/网络/执行三层视角来分析失配如何在闭环反馈中传播和放大。作者引入超越圈速的诊断指标，并从部署角度总结缓解策略与基准测试指南，旨在实现计算和时间约束下可复现的公平评估。

视觉-语言-动作模型虽有出色泛化能力，但常缺乏可解释性且难以遵循包含空间、时间和逻辑要求的精确自然语言指令。本文提出一种分层框架，利用信号时序逻辑作为连接高层语言理解与低层机器人执行的共享表示，通过VLM将指令分解为子任务并生成STL规范，进而通过模型预测控制或监控执行来确保约束满足，在真实桌面场景中验证了该方法能提升语言条件机器人规划的精度、可靠性和可解释性。

本文提出一种两阶段外部标定方法，用于确定静态线扫激光雷达与旋转平台之间的旋转轴变换。该方法通过静态和动态估计自动识别旋转轴，并在实际数据集上验证了收敛性，对工业精密扫描有重要意义。

arXiv论文提出DASH（涵道空中弹簧跳跃者），一种机械结构极简的空中-地面两栖机器人。它把涵道风扇共轴机体与底部弹性腿有机结合，以推力矢量实现敏捷飞行，并借弹性腿实现高效地面跳跃与能量循环；团队采用接触隐式模型预测控制器自动选择运动模式与驱动方式，并通过周期跳跃、空中飞行及跨越障碍时的自主模式切换验证了设计与控制方案。

本文提出了一种针对拥挤环境中移动目标拦截问题的在线部分可观察马尔可夫决策过程（POMDP）规划方法。通过在固定计算预算下进行树搜索，比较了顺序路径-速度规划器和统一转向-速度规划器的性能。模拟显示，在人群密度较高时，统一规划器的安全拦截率比顺序规划器高出31个百分点，且所需时间减少44%，揭示了顺序规划中空间限制的结构性缺陷。