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

一封由数百名经济学家和AI研究人员签署的公开信警告，AI可能在10年内带来比工业革命更剧烈的经济转型，可能导致大规模失业，需要立即采取措施引导AI造福社会。

本教程详细介绍了如何构建一个无需API密钥即可运行的多智能体视频编辑系统，包括意图解析器、智能体库、工具路由器、图规划器和文本梯度优化器，并集成了FFmpeg、Whisper等工具，实现视频理解、检索、编辑和再造。

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

一位患有AuDHD（自闭症与ADHD并发）的解决方案架构师分享如何利用AI作为无障碍工具，基于Amazon Quick和Bedrock构建自动化工作流，补偿执行功能缺陷，将收件箱扫描时间从45分钟以上降至6-13分钟，并实现零遗漏跟进。

本文介绍了 Bluesight 如何利用两次 AWS 参与计划和 Amazon Bedrock AgentCore，从单一产品 AI 原型发展为覆盖六个医疗合规产品的统一智能代理 AI 解决方案 Prism。Prism Assistant for ControlCheck 已于 2026 年 5 月推出，目前已被 20 个医疗系统使用。更复杂的多产品代理解决方案计划于 2026 年晚些时候推出。

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

微软Copilot Windows应用新增PC Insights技能，可回答关于系统、硬件、软件和设置的问题，帮助用户快速获取信息而不必手动查找。

丘博保险（Chubb）是一家全球财产及意外险保险公司，计划在三到四年内通过AI自动化85%的核保和理赔流程。关键应用包括智能核保录入（将北美周期从24小时缩短至2小时）和AI驱动的理赔文档处理（首次联系时间从24小时降至3小时）。公司拥有3500多名工程师，并在全球建立工程中心。经验教训包括将AI投资与周期时间指标挂钩，以及建立理赔与核保之间的闭环反馈。

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

Pixel Snapper工具通过量化颜色、检测边缘轮廓、步进切割和重采样，将AI生成的模糊、不规则的像素画转换为干净的网格对齐像素画。

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

QuantumReckon是一款新工具，旨在揭示云服务和AI支出的全貌，特别是传统FinOps忽略的AI代币成本。它连接到多个云和AI提供商，执行每日自动扫描，检测异常和浪费，并提供带有密封收据的可审计证据。该工具已在创始人自有环境中验证，可显著节省成本。

Eddie AI 是一款人工智能视频编辑器，可以帮助用户快速获取视频反馈。

Amazon SageMaker AI Studio推出了生成式AI推理推荐的低代码/无代码用户界面，引导用户通过预设用例配置、可视化比较和一键部署，无需深厚基础设施知识即可获得验证的配置。

GitHub模板仓库take-ai-control通过Docker和VS Code提供隔离的AI开发环境，支持PI.dev、Claude Code和Copilot，跨平台兼容Linux和macOS，并附带技能和模板项目以减少token消耗。

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

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

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

该项目展示了一种新模式：使用网页技术创建终端应用和BBS风格共享板，并通过SSH访问，重现了早期互联网的感觉。作者花费八年时间开发浏览器渲染引擎，随后用AI辅助开发终端渲染器，使得自托管专用应用成为可能。

软件工程类职位正受到人工智能的威胁。一些应聘者利用AI面试助手在远程技术面试中实时生成回答进行反击，而雇主则部署AI检测工具来识别AI使用迹象。这种双向动态使招聘演变成一场没有明显赢家的AI军备竞赛。专家认为，尽管面临这一现实，求职中的人性化方面仍将占据主导地位。

市场普遍预期超大规模企业的自由现金流将在未来几年翻倍以上，但如果AI回报慢于预期，可能引发现金流失望、科技股抛售波及大盘、以及信贷风险上升。

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

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

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

本文回顾了知识蒸馏从传统固定数据集到现代大语言模型时代的演变过程，探讨了三个关键阶段，展示了蒸馏如何从简单的压缩技术转变为复杂的能力转移方法。

本期The Register的Kettle播客探讨了Tokenminning是否能让AI行业回归现实，因为企业领导者惊讶地发现AI成本急剧上升。

LoopClub 是一个在线共享鼓机平台，允许用户与陌生人或 AI 模型 Claude 实时合作即兴演奏音乐。它提供了一个简单易用的界面，让音乐创作变得有趣和社交化。

华盛顿中央学区在佛蒙特州内表现优异，但该州本身的教育水平相对于全美已大幅下滑。学区的考试成绩自2013年以来下降了近一个年级水平，大学升学率远低于全国平均，且优势正逐渐消失。

如今AI功能无处不在，但多数并不实用。作者提出一个简单法则：AI功能的实用性与开发者为其投入的屏幕空间成反比。那些占用大量界面的功能往往无用，而隐藏的小按钮反而有价值。以Adobe Acrobat为例说明。