How Automated Reasoning checks in Amazon Bedrock transform generative AI compliance
在这篇文章中，您将了解为什么概率 AI 验证在受监管行业中存在不足，以及自动推理检查如何使用形式验证来提供经过数学验证的结果。您还将看到六个行业的客户如何使用该技术来生成经过正式验证、可审计的人工智能输出，以及如何开始。
Building My Own Personal AI Assistant: A Chronicle, Part 2
构建个人人工智能助理很少是单一的、整体的工作。在这篇文章中，我将介绍我最新添加的内容：一个任务分解模块，它将复杂的目标分解为结构化的、可操作的步骤，以及为什么这个单一组件改变了我对人工智能驱动的生产力的看法。构建我自己的个人人工智能助理：编年史，第 2 部分首先出现在《走向数据科学》上。
AI Is Writing Our Code Faster Than We Can Verify It
这是代理工程和人工智能驱动开发系列文章中的第三篇文章。请阅读此处的第一部分、此处的第二部分、此处的第三部分，并查找 4 月 23 日在 O’Reilly Radar 上发布的下一篇文章。这是人工智能编码革命的肮脏秘密：大多数经验丰富的开发人员仍然并不真正信任人工智能为[...]编写的代码
以下文章最初发表在 Tim O’Brien 的 Medium 页面上，经作者许可转载于此。如果您花过一些时间从事人工智能辅助软件工作，您就会知道 Scope Creep Kraken 第一次将触手放在船上的那一刻。该项目以一个真正的目标开始，通常是一个明智的[...]
Swing state Trump voters feeling 'anxious' and 'angry' about about two key issues
在 20 世纪 90 年代和 2000 年代，佐治亚州以坚定的共和党而闻名，而其南部邻国佛罗里达州则是一个不稳定的摇摆州。前总统乔治·W·布什两次赢得佛罗里达州，他的民主党继任者巴拉克·奥巴马也是如此。但到了 2026 年，情况完全相反：佛罗里达州是共和党的大本营，而佐治亚州是一个摇摆州，拥有保守派两届共和党州长（布莱恩·坎普）和两名民主党美国参议员（拉斐尔·沃诺克牧师和乔恩·奥索夫）。唐纳德·特朗普总统在 2020 年将佐治亚州输给了民主党人乔·拜登，但在 2024 年以大约 2% 的优势赢得了桃州（佛罗里达州的得票率约为 13%）。奥索夫准备在 2026 年中期选举中连任，民主党战略家和组
GOP insiders furious as Trump sabotages economic message
根据《国会山》的一篇新文章，唐纳德·特朗普总统被证明是他自己的政府最大的敌人，他的社交媒体宗教丑闻分散了人们对白宫试图为经济和与伊朗的战争创造积极影响的努力的注意力。在周四上午发布的一份报告中，《国会山》详细分析了特朗普如何继续分享人工智能生成的自己与耶稣或与耶稣在一起的图像，从而引发了一场大规模和持续的争议，尤其是在他的福音派追随者中。总统最初在真相社交网站上分享了一张自己像基督一样的人物的照片，引发了一场轩然大波，随后的反弹迫使他罕见地撤退并删除了该帖子。然而，几天后，他又加倍努力，分享了自己被耶稣拥抱的不同形象，而与此同时，他的政府正试图为纳税日传递积极的信息。“白宫在周三的新闻发布会上
How India’s Urban Lake Policies Are Getting It Wrong
没有什么比我们对自然和水体所做的事情更让您愤怒的了。随着所有所谓的大肆宣传的发展，如果没有空气和水我们该怎么办？ Indivar Jonnalagadda 和 Pullanna Vidyapogu 在印度论坛的这篇文章中反思了城市湖泊政策： 在印度各城市，水正成为一个令人担忧的问题。城市 [...]
It may be time for Sweden to join the euro
斯德哥尔摩大学的 Lars Calmfors 在这篇 voxeu 文章中论证了瑞典为何应该加入欧元：瑞典在 1999 年选择留在货币联盟之外，并在 2003 年的全民公投中拒绝加入欧元。本专栏总结了最近的一份报告，该报告重新评估了瑞典加入欧元区的利弊。对经济的影响[...]
When and why political leaders polarise rhetoric: Evidence from Twitter/X
Tito Boeri、Nina Nikiforova 和 Guido Tabellini 在这篇 voxeu 文章中：选举竞争的标准理论预测，随着选举的临近，政客们应该向中间靠拢。本专栏使用来自 21 个西方民主国家 367 名政治领导人的 340 万条推文对这一预测提出质疑。民粹主义和非民粹主义领导人之间的言论两极分化在[...]
Can Export Promotion Help Close the Trade Gap?
一篇文章探讨了进出口银行的作用，该银行在过去几年中在美国贸易政策中发挥了有效作用。
Did the OBBB Affect Firms' Plans for 2026?
一篇文章着眼于最近的调查数据，以评估《美丽大法案》对公司决策的影响。
More than Missing Data: Survey Response Rates Following the 2025 Government Shutdown
一篇文章探讨了去年政府关门的影响之一：用于评估劳动力市场健康状况的调查数据的质量。
How Might AI Change the Workplace? Evidence from Corporate Executives
人工智能（AI）已经占据了头条新闻。但它会给企业带来什么影响呢？一篇文章着眼于最近的调查数据，试图评估其对就业和生产力的潜在影响。
福特级航空母舰并没有延迟——它恰好在围绕并发构建的程序到期交付时抵达。这篇文章《福特级航母不是你想象的那样：我们应该称其为价值 130 亿美元的“实验室”》首先出现在 19FortyFive 上。
We Have the Receipts: Canada Could Pick the JAS 39 Gripen and Forget About Stealth Fighters
JAS 39“鹰狮”专为与俄罗斯的战争而设计——使其成为北约的天然资产并加强加拿大的互操作性。文章“我们收到了：加拿大可以选择 JAS 39 鹰狮，然后忘记隐形战斗机”首先出现在 19FortyFive 上。
Why Russia’s Kilo-Class Submarine Is Called the ‘Black Hole’
俄罗斯在潜艇技术方面处于世界领先地位。俄罗斯海军拥有许多先进的核动力设计，足以与规模更大的美国海军（以及现在规模更大的中国人民解放军海军潜艇部队）相媲美。尽管如此，俄罗斯海军在柴电潜艇方面也处于世界领先地位。俄罗斯的一篇文章《为什么俄罗斯的基洛级潜艇被称为“黑洞”》首先出现在 19FortyFive 上。
Australia readies itself for high-risk submarine life extension for Collins-class
尽管澳大利亚着眼于未来运营核动力攻击潜艇的美好前景，但它仍面临着让六艘老化的柯林斯级柴电潜艇继续服役多年的挑战。这个问题将通过柯林斯级潜艇寿命延长（LOTE）计划来解决，该计划被称为“海洋1450计划”，希望能够保留它们……澳大利亚准备为柯林斯级高风险潜艇延长寿命的文章首先出现在《海军新闻》上。
Most AI Literacy Programs Are Designed To Fail
大多数人工智能素养项目强调工具和提示，而不是基于角色的判断和清晰度，导致使用不一致、风险增加和现实世界能力有限。这篇文章首先发表在电子学习行业。
