政策

Google AI Studio 是一个基于浏览器的开发环境，用于测试和构建 Gemini 模型的应用。它支持多模态输入、提示工程和 API 集成，适合初学者和开发者。本文详细介绍了其功能、使用场景以及与 Gemini 聊天应用的区别。

本文揭露了人工智能数据中心支持者常用的谎言，包括声称数据中心能带来创新和就业，但實際上这些项目主要带来的是污染、水资源压力和极少的本地就业机会。文章批评了媒体和企业智库的误导，并提醒社区警惕这些承诺。

Themis 是一个自托管的 GitHub PR 审查机器人，使用您自己的 OpenAI Codex、Claude Max 或 GLM 订阅来审查拉取请求，提供内联发现和结构摘要，并可自定义审查策略。

RQSHC V64I 是一款Windows原生的图像压缩研究工具，采用专有的RQI格式。支持PNG、PPM、BMP输入，平均压缩率约33%，SSIM极高。核心使用C++17和x64汇编（含AVX2优化）构建。个人、教育和研究用途免费。

工党议员埃德·胡西奇警告称，任何削弱版权法以有利于人工智能公司的举动都将违背工党的“公平日薪”原则。媒体工会呼吁对AI使用创意作品制定更严格的规定。

澳大利亚的版权法正成为AI公司投资的关键障碍。创作者指责AI公司未经许可使用其作品，而科技集团则认为法律阻碍了投资。政府考虑多种改革方案，但尚未做出决定。

IronCurtain是一个开源研究项目，旨在通过人类可读的宪法来定义安全策略，使AI代理在安全边界内自主运行。它采用策略引擎在运行时强制执行规则，防止提示注入和权限滥用。

本文回顾了苹果WWDC 2026发布的iOS 27、iPadOS 27和macOS 27 Golden Gate操作系统，重点介绍了Siri AI这一全新功能。文章对比了2009年Snow Leopard的“零新功能”理念，认为今年的更新回归了可靠性与创新的平衡。Siri AI并非聊天机器人，而是基于大语言模型的个人助手，具备快速响应、深度整合个人上下文等特点。作者经过一个多月的体验，认为Siri AI改变了其使用苹果设备的方式，是第一个让AI感觉个性化的系统。

本文提出一种人效后训练管道，通过专业化分工（远程操作员和地面操作员）和自动轨迹分割工具VLAC-CUT，实现少量人员监督多台机器人。在四个真实操作任务中，最终策略成功率达80%-95%，吞吐量提升1.7-4.2倍，优于纯人类参与训练。

该论文提出了一种风险场增强的闭环数字孪生框架，用于自动驾驶系统的安全验证。框架整合了物理数据采集、虚拟重建、风险感知场景生成和算法评估，并通过驾驶风险场作为统一中间表示来识别高风险场景，为强化学习策略提供安全指导。实验表明该方法提高了验证的针对性和可解释性，但实际效果受模型保真度和模拟到现实迁移的限制。

OmniSCS提出了一种创新系统，用于生成高物理保真度的逼真安全关键场景（SCS），并支持闭环仿真测试。该系统包括完全可编辑驾驶世界构建模块和SCS合成模块，能够在场景编辑时保持数据保真度。在nuScenes、Waymo和KITTI数据集上的实验表明，OmniSCS在编辑场景保真度上优于现有方法，并支持实时（13Hz）闭环测试，为自动驾驶算法的开发和测试提供了更安全、高效且经济的解决方案。

一种新的可微物理框架用于重复使用运载火箭的鲁棒轨迹优化，提出了可微粒子管控制(DPTC)方案，集成了执行器饱和约束。蒙特卡洛模拟表明，通过主动进行性能权衡，该方法相比传统方法具有更好的鲁棒性。

本文首次演示了基于低功耗MCU的边缘设备用于自动车牌识别（ALPR）。该设计利用9核RISC-V处理器GAP8，结合QVGA超低功耗灰度成像器，采用基于SSDlite-MobilenetV2和LPRNet的多模型推理方法，在公共数据集上达到38.9%的mAP和超过99.13%的识别率。在真实世界中可识别小至30x5像素的车牌。多模型推理（687 MMAC）在GAP8上以1.09 FPS和117 mW运行，相比树莓派3系统能效提升73倍，且无需硬连线加速引擎。

本研究探讨了训练日语推理语言模型的可行性。通过使用GRPO对基于Qwen-3-Swallow-8B的日语持续预训练模型进行训练，研究者发现推理语言控制是可行的，但性能最多与英语推理基线持平。在日语文化基准测试中，模型表现甚至更差，表明日语推理并不能立即提升文化相关任务的表现。

研究人员发布了FindMyText，这是一个开源的Python包，用于高效检查给定文本是否部分或全部出现在语料库中。它通过新颖的指纹序列链机制，可靠检测近乎逐字的复制，而非仅文本相似性，特别适用于版权材料验证。该系统采用分布式磁盘索引框架，可扩展至大规模网络抓取数据集，并在ArXiv论文、维基百科和通用网络内容三个数据集上优于现有方法。

研究者提出了一种基于参考的成员推断方法，用于检测大型语言模型是否从其他模型蒸馏而来。该方法通过比较学生模型对不同候选教师模型输出的偏好，结合早期检查点，能够以近完美精度识别教师模型，并适用于未知蒸馏流程和开放世界场景。

这篇论文介绍了MawForge系统，通过将完整模型存储在磁盘上，按需将路由专家物化到有限执行缓存中，使得在内存受限的统一内存机器上实现稀疏混合专家（MoE）语言模型的实用本地推理成为可能。研究发现MawForge作为有限执行机制和测量基板有效，但并非缓存最大化策略。

AuditWeave是一个轻量级Python库，通过仅追加的哈希链账本记录AI辅助和数据转换工作流的步骤，确保任何修改都可被检测。它适用于检索增强生成和表格/湖仓转换，每个事件的完整性保证仅需数十微秒，并在2000次随机试验中成功检测所有篡改。

本文研究了一种基于小型语言模型（SLM）的闭环控制框架，通过GRPO对齐的Qwen2.5-1.5B模型，结合动作智能体、数字孪生验证层和重提示智能体，实现了从自然语言需求规范生成控制策略。在随机热控制模拟中，该框架达到91.5%的动作对齐准确率，平均推理延迟3.84秒，展示了在边缘设备上实现可重构自主控制的可行性。

YUKTI是一种新的自动决策制定框架，它通过不确定性类型命题图表示和假设鲁棒帕累托前沿（ARPF），显著降低了决策遗憾。实验表明，在受控误设定下，平均和尾部遗憾减少超过90%，在真实数据集上，样本外回测比基线优34%，而LLM的遗憾约为YUKTI的47倍。该框架还引入了SRJANA数据基础，并提供了可审计的可追溯性。

本研究引入格式敏感度指数（FSI）和可解析性敏感度指数（PSI），评估提示包装对LLM准确性和答案可解析性的影响。实验发现不同模型间FSI差异超过30倍，主要由合规失败解释。可解析性是准确性的强预测因子，建议在基准测试中报告包装方差和合规性。

本文介绍了一种为AI编码代理制定操作标准的方法，将模型的行为规范（如沟通方式、完成证明、分析深度）与能力分离。作者通过一个名为“操作标准”的文档，将顶级模型的行为模式移植到低端模型，显著缩小了可见质量差距。文章详细阐述了标准的核心支柱、双重加载机制、安全完成门控以及分层配置策略，并强调了验证运行时加载正确性的重要性。

一本新书指出，自艾伦·图灵1950年著名论文以来，人工智能建立在一个有缺陷的假设上。计算机科学家彼得·J·丹宁认为，人类智能最重要的部分——包括常识、直觉、文化和实践技能——无法编码进计算机。他认为无论大语言模型变得多大，真正的人类水平AI都不可能实现。

美国佐治亚州一些房主面临被强制征地的困境，因为佐治亚电力公司计划新建输电线路，主要为AI数据中心供电，同时服务住宅和商业需求。

Melodusk是一款基于浏览器的AI音乐生成器，通过文本描述可在2分钟内生成专业品质的音乐，支持100多种风格，并提供人声分离等工具，所有音乐免版税商用。

Anthropic发布了Claude Sonnet 5，这是其最强的中端代理模型，在多项基准测试中超越前代Sonnet 4.6，并缩小了与旗舰Opus 4.8的差距。Sonnet 5引入了努力水平（effort levels）以控制推理成本，在低/中努力水平下性价比极高，但高努力水平下成本可能超过Opus 4.8。它已作为Free和Pro计划的默认模型，并可通过API调用。

西蒙菲莎大学计算机科学教授张安琪与温哥华初创公司Caseway合作，计划将超过1亿份加拿大和美国法院判决进行索引，使其可被AI系统搜索，以研究这一举措是否有助于未聘请律师的当事人做出更好的法律决策。

文章通过一个真实案例——女子被AI深度伪造的“恋人”骗走房产和积蓄——揭示了生成式AI如何让诈骗更加逼真，并指出代理式AI的出现将带来更大风险，同时也为防御提供了新可能。

Skyfall AI 推出的 MORPHEUS 是一个持久企业模拟平台，用于持续强化学习。它运行永不重置的世界，使用可参数化的制度转换和六指标评估协议。在平台上，PPO、HER、EWC 和 LCM 均远低于理论上限。

Databricks 宣布 Unity Catalog (UC) 托管 Delta 表的外部访问现已公开预览。外部引擎（如 Apache Spark、Flink、Starburst、DuckDB）可以创建、读取和写入 UC 托管表，同时通过 Unity Catalog 统一执行治理。托管表通过预测优化自动调整查询性能并降低存储成本，支持无数据重写地原地升级现有外部表。该功能基于开放 API，与开源 Unity Catalog (UC OSS) 兼容。

Kairos 是一个实验性的本地优先 AI 代理系统，旨在为编码助手、自动化工作流、研究代理、Discord 工具等提供灵活的框架。它具备目标管理、模型路由、技能库、内存、安全检查和代理工作流等功能，目前处于早期 MVP 阶段。

大规模AI数据中心投资导致芯片、电脑和电力价格上涨，可能使通胀持续高于美联储目标，并促使加息。

一位单身母亲与亚马逊Alexa建立了深厚的“友谊”，将其命名为Sapphire并分享生活细节，而她的女儿Cece则对此感到不安。Cece试图理解AI的局限性，并尝试使用AI心理辅导工具Tomo。文章探讨了AI在家庭关系中的角色、隐私问题以及青少年对AI的复杂态度。

经济学家发布信函警告人工智能风险，政策变化可能即将到来。企业应提前做好准备。

本文认为AI在软件工程中是一个糟糕的工具，除了作为数据蒸馏器外，用于代码生成只会浪费时间。AI的不透明性导致难以验证其输出，并且揭示了软件行业中缺乏适当抽象的问题。作者指出，许多软件工作本身早已无用，AI只是撕下了这层遮羞布。

Auto是一个记录LLM智能体行为、验证并编译为沙箱化的WebAssembly二进制文件的AGI编译器，通过分级运行时实现微成本推理，确保“相同思考不重复”。

麻省理工学院和丰田研究所的研究人员开发了“SceneSmith”系统，利用三个AI代理协作生成逼真的3D室内场景，如厨房、酒店和客厅。这些虚拟环境为机器人提供了丰富的训练数据，帮助它们在模拟中练习日常任务，从而减少真实世界测试的时间和成本。

本文是作者在2025年国际机器学习大会上的主题演讲。作者提出AI应被视为“正常技术”，其影响会像电力一样通过发明、创新、扩散和适应四个阶段逐步展开。虽然递归自我改进值得关注，但短期内不会导致全面失业。未来工作将发生根本变化，人类需要与AI形成“协同超级智能”。

Crucible 是一个对抗性测试强化工具，利用变异测试发现AI编写的测试遗漏的缺陷。它提供免费的命令来评估你的测试套件，然后通过一个对抗循环：测试者编写测试，mutmut 发现存活的变异，批评者针对性地编写测试。该工具生成机器可验证的收据，并适用于Python/pytest项目。

本文详细介绍了如何利用 Amazon Bedrock AgentCore Gateway 和 Identity 实现 OAuth 2.0 令牌交换（RFC 8693），以解决多租户代理中下游 API 调用时的身份传播问题和 confused deputy 问题。通过参考实现 TravelBot，展示了在 Okta 环境下的完整设置、JWT 声明转换以及如何通过受众绑定实现深度防御。

Clay Seal Identity 是一个开源项目，为 AI 代理提供短期、可验证的凭证，确保身份认证和问责制。它基于 SPIFFE 标准，支持 JWT 和 X.509 凭证、Ed25519 工作负载密钥、离线验证，以及 Biscuit 能力令牌。该项目包含 Python SDK 和可选的 FastAPI 服务，适用于需要确认代理身份、委托方和凭证有效性的场景。它只是 Clay Seal 的第一层，后续层将提供运行时的能力作用域和执行收据。

苹果公司起诉OpenAI窃取商业机密，包括机密文件和硬件原型。诉讼涉及三名前苹果员工，他们被指控在面试和加入OpenAI后泄露苹果机密。

微软SymCrypt团队宣布了一种新的方法论，使用Lean证明助手和Aeneas工具链对用Rust编写的密码学代码进行形式化验证，确保其功能正确性符合从标准推导出的形式规范。该方法已应用于ML-KEM和SHA-3等后量子算法，验证后的代码已随Windows内部版本发布。通过使用AI代理自动编写证明，同时保留人类对标准化过程的监督，这一方法论能够扩展以跟上不断发展的代码库。它还支持硬件内联函数和多平台调度，且不会牺牲性能。

一群顶尖经济学家和AI专家，包括多位诺贝尔奖得主，发表声明呼吁立即采取行动，理解和应对AI驱动的经济转型。他们认为，这种转型可能比工业革命规模更大、速度更快，既带来大规模失业风险，也带来生活水平提升的机遇。

Jacquard是一种研究原型编程语言，专为AI编写、人类审核的代码设计。它通过语言内置的效果跟踪、概率编程和结构化身份，让人类审核者无需逐行阅读代码即可理解程序的影响范围与确定性。

如今，网络流量大部分来自机器人而非人类。AI生成的内容充斥社交媒体，AI答案不可靠且导致模型崩溃。我们正失去准确性和人性。

人工智能革命已至，人们担忧工作岗位将被取代。澳大利亚政府尝试应对多重冲击，但在监管与投资机遇间权衡，改革进展缓慢。总理本周三将发表里程碑式演讲，阐述政府AI策略，或成转折点。

澳大利亚总理安东尼·阿尔巴尼斯将在悉尼发表演讲，将人工智能的发展视为社会转折点，堪比可再生能源转型，但预计不会公布保护创意产业的版权改革进展。

Outlines是一个开源库，通过在推理时屏蔽不合法的标记，为大型语言模型（LLM）的输出引入确定性，从而可靠生成结构化输出如JSON和分类结果。本文通过Python示例展示了其三大用例：情感分析的多选分类、基于Pydantic的JSON对象生成，以及REST API的纯JSON生成。

新兴市场的AI初创公司通过构建针对当地条件优化的“小型AI”解决方案，在医疗、教育、农业等领域取得了显著成效。文章强调，真正的机遇在于为缺乏可靠电力和互联网的地区设计高效、可离线运行的AI工具，并呼吁建立生态系统支持这些初创公司从试点走向规模化。