一篇新论文指出，现有AI控制评估通常假设攻击者不会策略性地选择攻击时机，但通过引入开始策略和停止策略，攻击选择能力在BashArena和LinuxArena两个智能体环境中显著降低了测得的安全水平。在1%审计预算下，开始策略使两个环境的安全性均下降20个百分点，停止策略分别下降20和28个百分点。研究者建议未来评估应纳入攻击选择以获取更现实的安全估计。

大语言模型在数学推理方面取得了显著进展，但现有基准通常评估有明确最终问题、逐步解决方案或完整证明的问题，未能捕捉协作式开放问题求解的过程。本文介绍了CrowdMath，一个包含164条专家注释进展链的数据集，来源于MIT PRIMES与AoPS合作的CrowdMath项目（2016-2025）。每条链追踪从开放问题到证明完成的多参与者论坛讨论，帖子按功能角色标注。六种前沿模型在下一帖预测上达到83-88%的准确率，但在帖子角色分类上最佳宏F1仅为0.42，揭示了模型在理解协作式数学进展方面的不足。

Lean4Agent是首个利用Lean4依赖类型形式化语言建模和验证LLM智能体行为的框架，包含FormalAgentLib库与LeanEvolve方法。在SWE-Bench-Verified和ELAIP-Bench上，验证通过的工作流平均性能提升11.94%，LeanEvolve进一步带来7.47%的提升。

DiBS 是一种由扩散模型引导的搜索方法，用于改进数独等约束满足问题的求解效率。它保持符号求解器的完备性，并利用扩散模型对搜索分支进行排序，从而在困难实例上显著减少搜索成本。

该论文将机器学习中的偏见形式化为对称性破缺，通过损失正则化恢复对称性，在合成数据集上实现了90%以上的违规减少，准确率成本仅约5%。该方法无需因果图知识，计算轻量，适用于任何可定义为位翻转的敏感属性。

Cerebro白皮书提出了一种全新的AI治理理念：将公司本身视为基础设施，使小型运营者能够运营AI原生企业。该框架涵盖内存、决策、工作流、智能体、模型和治理，所有组件都是版本化、可检查且由运营者拥有的。它是Libro（一个面向Claude Code的开源Ops脚手架）的配套文档。

本文介绍了一个自定义的 Claude Code 状态栏脚本，可实时显示上下文窗口使用率、令牌总数、代码增减行数以及速率限制剩余配额，帮助开发者避免中途被限制。

英伟达与LG集团宣布合作建设AI工厂，为LG提供加速计算基础设施，以支持其在机器人、自动驾驶、数据中心和GPU云服务等领域的AI业务。双方将整合英伟达的全栈AI工厂平台与LG在消费电子、机器人、移动出行组件等领域的全球领先地位，打造统一的物理AI系统开发工作流程。

TeardownHQ 为独立 SaaS 创始人提供经过验证的收入数据和深度研究手册，详细剖析初创公司如何增长，包括渠道、定价和进入市场策略。目录免费浏览，完整分解报告为付费产品。前500名用户可获创始会员终身优惠。

Solarch 是一个利用 AI 创建交互式图表的工具，确保您的代码始终保持同步。

Preseason.ai 是一个开源基准测试平台，通过一系列标准化提示，追踪 AI 模型在不同开发场景下选择的工具，并展示排名结果。测试覆盖从初级到专家的多个级别，包括 AI 支持平台、SaaS 应用、电商等场景。结果显示 Stripe、PostgreSQL、Auth0 等工具在多个类别中领先。

PandaProbe Cloud 是一个完全托管的代理工程平台。

OpenAI 发布了关于人工智能未来的愿景，重点在于可及性、安全性和共享繁荣，确保通用人工智能造福全人类。

OpenAI展望AI的未来，专注于可及性、安全性和共享繁荣，确保通用人工智能惠及每一个人。

本文探讨了学生过度依赖AI完成写作任务的问题，指出这可能导致未来的专业人士缺乏必备的写作和批判性思维能力，从而影响社会。

EMILIAProtocol定义了一个便携式、供应商中立的协议，用于高风险工作流中的信任评估和预行动信任执行。它通过信任收据、信任配置文件和信任决策等核心对象，结合握手和问责签核机制，确保系统在执行前对具体行动进行约束。

AI代码缝合器是一个开源工具，可将AI生成的代码精确整合到现有代码库中。最新版本v1.74引入了自动更新和导入提升功能，同时保持了对用户控制的坚定承诺，区别于行业中日益自主的AI代理。

苹果发布了第三代基础模型系列，包含五个模型，与谷歌合作开发，涵盖设备端和服务器端，强调隐私保护和新架构。这些模型驱动全新Siri和智能工具，在评估中展现出显著质量提升。

OpenAI 发起经济研究交流计划，旨在研究人工智能对就业、生产力和经济的影响。现已开放研究项目申请。

OpenEnv是一个用于创建智能体执行环境（如终端、浏览器等）的开源工具。今天，我们宣布OpenEnv将变得更加开放，由一个包括Meta-PyTorch、Reflection、Unsloth、Modal、Prime Intellect、Nvidia、Mercor、Fleet AI和Hugging Face在内的委员会协调。该项目旨在为开放源代码的智能体训练提供通用基础设施，并专注于作为互操作性层，而不是定义奖励或训练循环。

matchmind是一款AI驱动的求职匹配工具，每天早上6点自动扫描5个招聘板，根据用户个人资料对职位进行评分，并发送前10个最匹配的职位。它使用GPT-4分析职位描述，提供评分和解释，并支持反馈循环以持续优化匹配结果。

Simon Willison 发布 datasette-agent-edit 0.1a0，这是一个基础插件，为 Datasette Agent 提供 view、str_replace 和 insert 三个核心编辑工具，使其他插件无需重复实现代理式文本编辑逻辑。

本文反驳了“AI将取代法律工作”的观点，指出法律工作并非固定总量。通过分析杰文斯效应、对抗性动态和鲍莫尔成本病，作者认为AI实际上会增加对法律服务的需求，导致更多而非更少的法律工作。

本文探讨人工智能如何改变版权法的经济原理。历史上，版权保护表达而非思想，因为最初的表达成本高昂。AI使表达变得廉价，使得思想和品味变得相对更有价值。作者通过拉斐尔挂毯的例子说明了复制成本的变化如何影响版权需求。

英伟达与斗山集团扩展合作，涵盖机器人、建筑设备、能源和材料等领域，共同推进物理AI和AI工厂基础设施的发展。

2024年，化名Meida Marek的大学毕业生在从事初级金融工作时开始思考：当AI能比她做得更好时，她该怎么办？

本文探讨了在采购中应用AI时的风险归属问题。作者认为，风险总是由人承担，AI只是辅助工具。真正的采购工作不仅是优化，还包括处理复杂的人际关系和应对不确定性。文章强调，问责线会随着资本规模而变化，但风险的所有权始终属于人。

本文评论了由Xi Yin主导、GPT 5.5编写的量子场论教科书项目。作者认为该文档目前不适合作为教材，但展示了AI在学术写作中的潜力和局限。

VibeOS是一款全新的AI原生操作系统，从硬件到UI完全由Claude Code控制。用户只需通过提示即可创建应用、游戏，并享受隐私保护。

未来人工智能的发展将由那些控制关键物理基础设施（如芯片制造、数据中心和能源）的公司主导。