<p>微软安全执行官肖恩·拜斯（Shawn Bice）将重返亚马逊网络服务（AWS），担任人工智能服务副总裁，领导公司的自动推理组，因为 AWS 正在加倍努力使人工智能代理更加可靠。</p>
<p>根据 GeekWire 看到的一封内部 AWS 邮件，拜斯将向亚马逊的代理人工智能副总裁斯瓦米·西瓦苏布拉马尼安（Swami Sivasubramanian）汇报。</p>
<p>西瓦苏布拉马尼安在邮件中写道：“我们正处于代理人工智能的拐点”，并解释说，将人工智能与自动推理结合在一起对于构建值得信赖的代理至关重要。</p>
<p>这对拜斯来说是一个完整的回归。他在职业生涯早期曾在微软工作，并在 AWS 负责数据库组合五年，之后另一位前 AWS 领导者查理·贝尔（Charlie Bell）在 2022 年将他招回微软，帮助建立雷德蒙德公司的安全组织。</p>
<p>在微软，贝尔于 2 月份辞去了安全领导职务，成为一名独立贡献者。</p>
<p>亚马逊的自动推理组使用一种称为神经符号人工智能的学科，该学科将传统人工智能的模式匹配能力与可以证明软件是否按预期运行的数学技术相结合。</p>
<p>在邮件中，西瓦苏布拉马尼安写道，将自动推理与人工智能结合在一起是 AWS 在该领域投资的 “基本前提”，并称其对构建企业可以信任的自主行动代理至关重要。</p>
<p>AWS 一直面临关于其自身运营中人工智能代理可靠性的问题。今年 2 月，亚马逊对《金融时报》关于其 Kiro AI 编码工具导致 AWS 故障的报道进行了反驳，尽管它承认在允许人工智能代理在没有人类监督的情况下进行更改后，某一服务出现了有限的中断。</p>
<p>在微软，拜斯的角色扩展为安全平台与人工智能的企业副总裁，负责微软安全助手（Microsoft Security Copilot）、微软哨兵（Microsoft Sentinel）和人工智能安全研究，依据他的 LinkedIn 资料。</p>
<p>在此之前，他曾在 Splunk 担任产品与技术总裁一年，夹在他在这两家大公司之间的任期中。</p>
<p>拜斯于 1997 年首次加入微软，并在两个任期内在微软工作超过 17 年，担任过管理 SQL Server 和 Azure 云数据服务的角色。他于 2016 年离开微软，加入 AWS，负责数据库组合——包括亚马逊 Aurora、DynamoDB 和 RDS——五年，直到 2021 年离开。</p>
<p>他还担任 WaFd 银行的董事会成员，并担任技术委员会主席。</p>

微软每日 2 倍做多 ETF - Direxion

2 倍做多 MSFT ETF - GraniteShares

AMZW

<p>微软安全执行官肖恩·拜斯（Shawn Bice）将回归亚马逊网络服务（AWS），担任人工智能服务副总裁，领导自动推理组。此举旨在增强人工智能代理的可靠性，这是 AWS 的一个关键关注点。拜斯曾在 AWS 和微软工作，将向代理人工智能副总裁斯瓦米·西瓦苏布拉曼尼安（Swami Sivasubramanian）汇报。人工智能与自动推理的结合被视为构建可信代理的关键。AWS 因其 Kiro AI 编码工具相关的中断而面临对人工智能可靠性的审查</p>

<p>Microsoft security exec Shawn Bice is returning to Amazon Web Services as VP of AI Services, leading the company’s Automated Reasoning Group as AWS doubles down on making AI agents more reliable.</p>
<div class="lb-trans"><p>微软安全执行官肖恩·拜斯（Shawn Bice）将重返亚马逊网络服务（AWS），担任人工智能服务副总裁，领导公司的自动推理组，因为 AWS 正在加倍努力使人工智能代理更加可靠。</p>
</div><p>Bice will report to Swami Sivasubramanian, Amazon’s VP of Agentic AI, according to an internal AWS email Monday afternoon, viewed by GeekWire.</p>
<div class="lb-trans"><p>根据 GeekWire 看到的一封内部 AWS 邮件，拜斯将向亚马逊的代理人工智能副总裁斯瓦米·西瓦苏布拉马尼安（Swami Sivasubramanian）汇报。</p>
</div><p>“We are at an inflection point with Agentic AI,” Sivasubramanian wrote in the email, explaining that bringing AI and automated reasoning together is essential to building trustworthy agents.</p>
<div class="lb-trans"><p>西瓦苏布拉马尼安在邮件中写道：“我们正处于代理人工智能的拐点”，并解释说，将人工智能与自动推理结合在一起对于构建值得信赖的代理至关重要。</p>
</div><p>It’s a full-circle move for Bice. He worked at Microsoft early in his career and spent five years running AWS’s database portfolio before another former AWS leader, Charlie Bell, recruited him back to Microsoft in 2022 to help build the Redmond company’s revamped security organization.</p>
<div class="lb-trans"><p>这对拜斯来说是一个完整的回归。他在职业生涯早期曾在微软工作，并在 AWS 负责数据库组合五年，之后另一位前 AWS 领导者查理·贝尔（Charlie Bell）在 2022 年将他招回微软，帮助建立雷德蒙德公司的安全组织。</p>
</div><p>At Microsoft, Bell stepped down from that security leadership role in February to become an individual contributor.</p>
<div class="lb-trans"><p>在微软，贝尔于 2 月份辞去了安全领导职务，成为一名独立贡献者。</p>
</div><p>Amazon’s Automated Reasoning Group uses a discipline known as neurosymbolic AI, which combines traditional AI’s pattern-matching abilities with mathematical techniques that can prove whether software is doing what it’s supposed to do.</p>
<div class="lb-trans"><p>亚马逊的自动推理组使用一种称为神经符号人工智能的学科，该学科将传统人工智能的模式匹配能力与可以证明软件是否按预期运行的数学技术相结合。</p>
</div><p>In the email, Sivasubramanian wrote that bringing automated reasoning and AI together is “the fundamental premise” behind AWS’s investment in the field, calling it critical to building agents that businesses can trust to act on their own.</p>
<div class="lb-trans"><p>在邮件中，西瓦苏布拉马尼安写道，将自动推理与人工智能结合在一起是 AWS 在该领域投资的 “基本前提”，并称其对构建企业可以信任的自主行动代理至关重要。</p>
</div><p>AWS has been facing questions about the reliability of AI agents in its own operations. In February, Amazon pushed back on a Financial Times report that its Kiro AI coding tool had caused AWS outages, though it acknowledged a limited disruption to a single service after an AI agent was allowed to make changes without human oversight.</p>
<div class="lb-trans"><p>AWS 一直面临关于其自身运营中人工智能代理可靠性的问题。今年 2 月，亚马逊对《金融时报》关于其 Kiro AI 编码工具导致 AWS 故障的报道进行了反驳，尽管它承认在允许人工智能代理在没有人类监督的情况下进行更改后，某一服务出现了有限的中断。</p>
</div><p>At Microsoft, Bice’s role had expanded to Corporate Vice President of Security Platform &amp; AI, overseeing Microsoft Security Copilot, Microsoft Sentinel, and AI security research, according to his LinkedIn profile.</p>
<div class="lb-trans"><p>在微软，拜斯的角色扩展为安全平台与人工智能的企业副总裁，负责微软安全助手（Microsoft Security Copilot）、微软哨兵（Microsoft Sentinel）和人工智能安全研究，依据他的 LinkedIn 资料。</p>
</div><p>Before that, he spent a year as president of products and technology at Splunk, sandwiched between his two stints at the larger companies.</p>
<div class="lb-trans"><p>在此之前，他曾在 Splunk 担任产品与技术总裁一年，夹在他在这两家大公司之间的任期中。</p>
</div><p>Bice originally joined Microsoft in 1997 and spent more than 17 years there across two stints, in roles that included managing SQL Server and Azure cloud data services. He left for AWS in 2016, where he ran the database portfolio — including Amazon Aurora, DynamoDB, and RDS — for five years before departing in 2021.</p>
<div class="lb-trans"><p>拜斯于 1997 年首次加入微软，并在两个任期内在微软工作超过 17 年，担任过管理 SQL Server 和 Azure 云数据服务的角色。他于 2016 年离开微软，加入 AWS，负责数据库组合——包括亚马逊 Aurora、DynamoDB 和 RDS——五年，直到 2021 年离开。</p>
</div><p>He also serves on the board of WaFd Bank, where he chairs the technology committee.</p>
<div class="lb-trans"><p>他还担任 WaFd 银行的董事会成员，并担任技术委员会主席。</p>
</div>

微软高管 Shawn Bice 重返 AWS，负责推动 AI 代理的可靠性