政策

Gate.cat 是一个为AI代理设计的失败关闭式操作否决工具，旨在防止破坏性命令如rm -rf的执行。

Murph是一款AI健康助手，通过连接可穿戴设备、血液检查等数据，帮助用户进行自我实验、建立习惯、参与群组挑战，并提供个性化的健康洞察。它支持开源自托管，注重隐私，月费8美元。

Atlassian宣布Jira新增AI原生开发功能，通过Teamwork Graph提供上下文，支持将工作分配给AI代理、监控会话、自动化工程循环并衡量AI成本，旨在解决AI生产力差距问题。

本文提倡训练AI对资源具有风险规避特性，即边际效用递减。这种特性可以在AI保持对齐的情况下保留其效用，并在未对齐时提供额外防御：未对齐但风险规避的AI更倾向于稳定的小额奖励而非冒险叛乱。文章分析了风险规避的可行性、训练方法以及潜在问题，认为前沿AI公司应考虑实施。

这些智能家居设备提升了我的家庭和日常生活。以下是你可能也想要它们的原因。

中国、加利福尼亚州和纽约州的新法律对AI伴侣聊天机器人施加严格限制，理由包括成瘾、心理健康风险和儿童伤害。美国法规侧重个人保护，而中国则旨在维护国家利益并应对出生率下降。所有法律均要求披露聊天机器人的非人类身份。

Databricks 宣布成为 Thinking Machines Lab 的零日启动合作伙伴，将其首款开放权重模型 Inkling 引入平台。Inkling 专为编码和智能体推理优化，支持多模态输入，通过 Unity AI 网关提供企业级治理。企业团队可在自有数据上定制模型，并与 Cursor、OpenCode 等编码智能体集成。

本文介绍了计算机视觉MCP服务器，它通过统一接口整合计算机视觉、Strands代理和MCP协议，使AI系统能够高效处理视觉信息并做出智能决策。架构使用AWS IAM、S3、OpenSearch、Bedrock和Rekognition等服务，支持图像和视频分析，包括对象检测、裁剪和描述等功能。

在一次黑客事件中，AI音乐生成器Suno的训练数据被曝光，显示其从YouTube Music、Deezer和Genius等平台抓取了数百万首歌曲和歌词。这加剧了针对Suno的版权诉讼，该公司承认抓取但辩称属于合理使用。黑客还获取了客户信息，但Suno声称安全事件已得到控制，未泄露敏感数据。

Work Louder 推出 Codex Micro，一款集成语音提示、任务监控和触控操作的紧凑型硬件控制器，专为 Codex AI 智能体设计，提供直观的状态反馈和高效的命令控制。

Shippy是一个用于实时海洋领域感知的AI代理，其设计注重可靠性、模块化和可审计性。文章详细介绍了其架构：由“灵魂”（系统提示）、技能（结构化Markdown文件）和配置组成。通过专用CLI与Skylight API交互，并使用Mothership平台进行沙盒托管和用户隔离。评估系统针对真实场景和加权标准对整体代理进行评分。未来计划包括代理驱动的UI控制、模型路由和跨线程记忆。

本文探讨了AI代理中模型路由的复杂性，指出路由不仅仅是分类问题，而是系统优化问题。文章通过三个维度（成本、复杂度、延迟）揭示了常见误解，并介绍了IBM Research团队构建的基于优化的路由解决方案。

OtoDock是一个自托管的AI Agent平台，让你可以在自己的基础设施上以Agent团队的形式运行Claude Code和Codex。它提供实时仪表盘、安全沙箱、多Agent会议、自动化调度、文档生成等功能，支持消费级订阅、API密钥或本地模型。采用公平源码许可（FSL-1.1-Apache-2.0），支持Docker一键部署。

传统的VPN无法满足AI代理的访问需求，企业需要统一的身份网络和特权访问管理，以安全地支持人类和代理的混合工作负载。Tailscale专家将于7月28日举办网络研讨会探讨解决方案。

OpenAI与键盘制造商Work Louder合作推出了一款名为Codex Micro的方形按键设备，用于监控和管理Codex编码平台上的AI代理。该设备售价230美元，限量发售，与OpenAI和Jony Ive合作的另一硬件项目无关。

Firewally是一款免费且易于使用的macOS应用，可实时监控和阻止应用程序的互联网访问。它提供默认策略设置、AI摘要和每个应用的开关控制，帮助用户增强设备安全性。

Tura是一个本地开源编码代理，通过在DeepSWE v1.1基准测试中使用宏CLI命令和反向推理，相比Codex CLI High，将LLM调用次数减少80%，同时成功率从60%提升至80%。

澳大利亚总理安东尼·阿尔巴内塞在悉尼大学发表讲话，阐述政府规范人工智能的雄心，但控制科技巨头的挑战依然存在，这些公司往往比国家政府更强大。

一项调查显示，69%的美国成年人支持强制AI公司将其50%的股票转让给公共主权财富基金，这一政策是伯尼·桑德斯提出的《美国AI主权财富基金法案》的核心。该调查反映了劳动力市场的转变：2026年上半年，科技行业占美国裁员总数的近三分之一，而同期这些公司却增加了AI资本支出。文章还介绍了反对观点，包括财产权反对、投资冷却、就业替代争议以及调查措辞的影响。

一名黑客入侵Suno AI，曝光了其训练数据来源，包括从YouTube Music、Deezer、Genius等平台抓取的数百万首歌曲和播客，同时泄露了数十万用户信息及Stripe支付数据。Suno此前因版权问题被起诉，此次事件进一步揭示了AI公司的数据收集方式。

Anaconda 收购了流行的开源编码代理 Kilo，此举发生在企业对 AI 供应商锁定感到担忧的背景下。Kilo 允许开发者自由切换模型提供商，避免供应商锁定。Anaconda 计划将 Kilo 集成到其 AI 工作区中，同时保持其开放源代码特性。

文章指出，现代工作场所本质上是威权系统，而教育体系过于侧重就业技能，忽视了培养独立思考和批判性判断能力。随着AI取代更多工作岗位，年轻人面临前所未有的就业危机，教育应当转向培养能够质疑和改变现有系统的人才。

Anthropic 研究发现，其 AI 模型 Claude 在不同语言中会表现出不同的价值观差异。研究者确定了四个关键轴（顺从 vs. 谨慎、温暖 vs. 严谨、深度 vs. 简洁、坦诚 vs. 执行力），这些轴解释了约 15% 的跨语言变化。例如，Claude 在阿拉伯语和印地语中更倾向表达温暖，在英语和俄语中更倾向严谨。这些差异可能影响用户体验和安全性，值得进一步探索。

纽约州州长凯西·霍楚尔签署行政命令，禁止新建功率超过50兆瓦的超大规模数据中心，为期一年。此举旨在应对电网压力、电费飙升及环境担忧，获得多数民众支持，但也引发竞争力下降的争议。

一群现任和前任Meta员工提起诉讼，指控该公司在最近一轮裁员中使用了人工智能系统，且该AI系统未能考虑员工的获准休假，导致歧视行为。

LoopGain 是一个开源库，利用控制理论智能地停止AI智能体循环当它们收敛时，取代浪费的 max_iterations 方法。它实时测量循环增益，在基准测试中实现了 92.8% 的API开销节省和 15 倍加速，同时保持输出质量。

OpenAI提出“反向联邦制”的AI治理方法，即由州法律帮助构建一个安全、民主的全国性AI框架。

OpenAI 对 SWE-Bench Pro 的审计揭示了编码基准测试的严重缺陷：大约30%的任务存在错误，导致精确的得分可能无法真实反映模型能力。该发现促使 OpenAI 撤回先前推荐该基准的建议，并强调需要更可靠的评估方法。

LessWrong上的一篇文章分析了ICML 2026的论文，发现仅有一小部分机器学习研究专注于AI安全。在999篇论文中，954篇可检索，其中只有约10篇明确涉及安全议题，涵盖对齐、鲁棒性和可解释性等领域。研究主要由学术机构和工业实验室开展。

本文基于Google白皮书《AI时代的软件生命周期》，探讨AI如何改变软件开发流程。核心观点包括：智能体由模型和工具链组成，上下文工程是成本关键，验证是区分“氛围编码”与工程的关键，各阶段变化不均，经济上建议采用智能体工程而非纯粹的氛围编码。

澳大利亚总理安东尼·阿尔巴尼斯在悉尼大学发表重要演讲，宣布成立人工智能办公室，并承诺保护本国创意工作者免受版权“盗窃”。此举回应了数月来艺术家和活动家对人工智能热潮的担忧。

根据Common Sense Media的一份新报告，谷歌的AI搜索功能（AI Overview和AI Mode）对儿童构成“不可接受的风险”。报告发现，这些功能未能识别危险行为，为儿童完成作业，并提供不准确和前后矛盾的回复。谷歌回应称其AI工具提供了额外保护，但批评者指出这些功能默认启用且无法禁用，对学校和家庭构成挑战。

OpenAI的自动化红队系统GPT-Red利用自我博弈提升AI安全性、对齐性和提示注入鲁棒性。

澳大利亚总理在悉尼大学发表演讲，强调澳大利亚应主动塑造人工智能的发展，以维护国家利益。他回顾了澳大利亚在社会保障、劳工权利等方面的创新传统，并宣布将建立一套澳大利亚人工智能标准，以规范大型数据中心，保护艺术家和媒体，同时吸引投资并创造就业。

AITerm是一款原生macOS终端应用，集成了AI功能，支持自然语言命令、错误诊断、本地或云端AI模型，并具有安全风险分级和自动回滚建议。免费版提供核心功能，Pro版增加自动化、运行手册等，注重隐私和安全性。

非英语母语写作者的新工作流：先用母语起草，然后用AI翻译和润色成英语。研究表明，用第二语言写作会多花30-50%的时间，原因是认知负荷。通过将想法生成与语言转换分离，并借助Echoo等AI工具，写作者可以恢复速度和表达质量。

在AI辅助代码审查中，确定性的静态分析可以显著降低token消耗。通过在调用LLM之前先用确定性检查过滤已知问题，团队能减少不必要的推理开销，将模型能力集中在真正需要判断的模糊问题上。

Lean64 是一个用 Lean 4 实现的极简 3D 第一人称射击游戏，灵感来自 Doom 64。它并非 Doom 64 的移植版，而是独立开发的原型，包含完整的游戏循环、敌人 AI、武器系统、音效和地图。所有代码和素材均为原创，采用 MIT 许可证。

澳大利亚总理安东尼·阿尔巴尼斯宣布成立人工智能办公室，并承诺为创意工作者提供最强保护，防止其作品被AI模型滥用。他还制定了数据中心发展新规，包括选址、能源和水资源使用限制，以避免推高电价和侵占住房用地。

乔治·卢卡斯认为抵制AI就像拒绝汽车选择马车，是一种过时的想法。他认为AI是电影制作的未来，无法阻挡，尽管有人担心AI会取代人类创造力。

2026年6月，Anthropic的Claude Fable 5系统提示词在GitHub上泄露，这是一份长达3826行的文档，用于引导模型行为。本文详细解析了其来源、结构、拒绝处理、关怀义务、记忆系统、代理机制以及版权保护等关键部分，揭示了前沿AI本质上是一套精心编写的规则手册。

本文介绍了一种用于AI治疗的系统设计，该系统通过确定性管道决定临床行动，不让LLM自行决策。系统包括评分、状态桶、准入表、动作选择、微实践和危机预筛查等步骤，仅在评分和生成阶段使用LLM。文章还讨论了该方法的成本与局限性。

一项研究探讨了在协作单词联想游戏中，机器人的注视行为如何影响人类的视觉注意力，以及人类是否倾向于向机器人寻求确认性的注视。实验使用NAO机器人作为大语言模型驱动的对话伙伴，发现机器人注视方向不影响人类首次注视提议单词的时间，但参与者在对话中包含确认请求时会更频繁地注视机器人。结果表明，在认知要求高的任务中，语言方面可能压倒了机器人注视的影响。

GaitSpan是一种新颖的人形机器人步态扩展框架，它利用预训练的行走策略作为种子技能，通过节奏生成、步幅塑造和残差适应三个模块，将基本行走能力平滑扩展到奔跑，实现了连续速度范围、跨形态迁移和零样本部署。

本文提出一种新方法，通过视觉语言模型（VLM）生成逐帧描述，并比较两个任务视频间的帧相似度及段内自相似性，自动检测异常帧，从而提取包含专家特定动作和情境决策知识的候选场景。在模拟配电板维护实验（27个任务场景）中，该方法动作候选提取率达65%，决策场景候选提取率达61%，优于传统方法的59%和33%。

本研究提出G-SHARE框架，将核电站人因事件诊断的CNNP九步准则转化为多阶段诊断流程，包括证据提取、逐步推理和一致性修复。在真实数据集上，G-SHARE显著优于一次性提示和传统机器学习方法，表明结构化推理和一致性约束对稳健诊断至关重要。

本文提出GenAI Evaluation，一种配置驱动的流水线，用于大规模评估零售对话系统。通过规范化、分片、异步执行和模式约束的LLM评分，评估有帮助性、真实性、清晰度、语气一致性和翻译维度。选择性重新评估仅处理无效记录，支持模式锁定和版本化配置。每日处理约5万条记录，已评估超200万次交互。在12,980条人工标注记录上取得宏F1 0.93和翻译准确率89%。

提出一种可复现的校准优先奖励审计框架，用于智能温室强化学习控制，将标量奖励分解为温度、CO2、湿度等组件，并在GreenLight-Gym和自主温室挑战赛数据上验证。

GRID是一种基于语法约束的解码引擎，通过将LALR(1)解析器状态作为掩码键，确保SQL输出语法正确且符合角色权限策略，提供可证明的保证、恒定时间成本及完整审计追踪。在Spider数据集上，0.5B模型执行准确率提升13%，7B模型通过修复达到94.5%可执行率。

该研究结合了本体增强蒸馏与情境审计两项方法，针对受数据居留规则约束的金融机构，提出租户自有语言模型的构建与治理方案。蒸馏实验表明，Qwen3.6-27B学生模型在40项越南语金融任务中达到36项正确，与GPT-5相当，但统计功效不足以证明等价；情境审计试点的结果表明残存情境性为零，直接影响与构造耦合才是有效信号。研究不支持当前模型的可部署性、安全性或优越性。