--- title: "在代理可靠性受到审查的背景下，AWS 在 Kiro 编码工具中推出新的规格检查，以解决 AI 松散问题" type: "News" locale: "zh-CN" url: "https://longbridge.com/zh-CN/news/286140942.md" description: "亚马逊网络服务（AWS）正在增强其 Kiro AI 编码工具，推出一项名为需求分析的新功能，旨在确保软件需求在编码开始之前没有矛盾和漏洞。这一举措旨在应对与 AI 辅助软件开发相关的风险，特别是在 AWS 因其 AI 工具的可靠性受到审查后。该功能结合了大型语言模型和 SMT 求解器来验证需求。此外，AWS 还宣布了另外两个功能，以加快开发速度：并行任务执行和快速计划模式，这些功能简化了编码过程" datetime: "2026-05-12T18:10:53.000Z" locales: - [zh-CN](https://longbridge.com/zh-CN/news/286140942.md) - [en](https://longbridge.com/en/news/286140942.md) - [zh-HK](https://longbridge.com/zh-HK/news/286140942.md) --- # 在代理可靠性受到审查的背景下，AWS 在 Kiro 编码工具中推出新的规格检查，以解决 AI 松散问题 亚马逊网络服务正在为其 Kiro AI 编码工具添加一项新功能，旨在在编写任何代码之前，数学证明软件需求没有矛盾和漏洞，从而解决 AI 辅助软件开发的核心风险之一。 该功能名为需求分析，旨在捕捉那些通常最难发现且修复成本最高的错误——这些问题并不是出现在最终代码中，而是出现在定义软件应做什么的初始需求中。 周二早上的公告是在亚马逊公开反驳《金融时报》关于其 AI 编码工具导致 AWS 中断的报道三个月后发布的，这一事件突显了在软件开发中给予 AI 代理过多自主权的风险。 这项公告还在 AWS 聘请前微软高管 Shawn Bice 回归亚马逊担任 AI 服务副总裁，领导其自动推理团队的前一天发布，正是该团队开发了这一新功能。Bice 将向亚马逊的代理 AI 副总裁 Swami Sivasubramanian 汇报。 需求分析结合了大型语言模型和一个称为 SMT 求解器的自动推理引擎。LLM 将自然语言需求翻译为形式逻辑。 然后，求解器通过数学证明检查这些需求是否相互矛盾或留下可能被 AI 编码工具错误填充的漏洞——随着 AI 生成软件的速度超过开发者审查的速度，这成为一个普遍问题。 “每个模糊的提示都会产生模糊的规格或计划，而实施该规格的 AI 代理则会生成充满未披露决策的代码，这些决策是在你不知情或未同意的情况下做出的，” AWS 应用科学家在伴随新闻发布的博客文章中写道。 Kiro 在一个竞争激烈且快速增长的 AI 编码工具市场中竞争，包括 Cursor、GitHub Copilot、Anthropic 的 Claude Code、谷歌的 Antigravity 和 OpenAI 的 Codex。 虽然这些工具越来越多地在代码生成的同时添加了规划和代理工作流程，但 Kiro 的身份建立在一种以规格为先的方法上，这要求开发者在 AI 开始构建之前正式化他们的意图。 AWS 还宣布了另外两个 Kiro 功能，旨在加快开发过程。 - 并行任务执行同时运行独立的编码任务，而不是顺序执行，从而将大型项目的实施时间缩短约 75%。 - AWS 表示，新推出的快速计划模式允许开发者跳过对已理解功能的逐步审批过程，一次性生成完整的需求、设计和任务。 **之前：** 亚马逊的意外独立热门：Kiro 广泛推出，旨在重塑 AI 驱动的软件开发。 ### 相关股票 - [AMZD.US](https://longbridge.com/zh-CN/quote/AMZD.US.md) - [AMZZ.US](https://longbridge.com/zh-CN/quote/AMZZ.US.md) - [CLOU.US](https://longbridge.com/zh-CN/quote/CLOU.US.md) - [AMZU.US](https://longbridge.com/zh-CN/quote/AMZU.US.md) - [AMZN.US](https://longbridge.com/zh-CN/quote/AMZN.US.md) - [MSFT.US](https://longbridge.com/zh-CN/quote/MSFT.US.md) - [GOOG.US](https://longbridge.com/zh-CN/quote/GOOG.US.md) - [GOOGL.US](https://longbridge.com/zh-CN/quote/GOOGL.US.md) - [OpenAI.NA](https://longbridge.com/zh-CN/quote/OpenAI.NA.md) ## 相关资讯与研究 - [百度 Q1：搜索广告跌破半壁江山，AI 云撑起新故事](https://longbridge.com/zh-CN/news/286763887.md) - [亚马逊 “豪赌 AI” 回报初现，市值逼近 3 万亿美元大关](https://longbridge.com/zh-CN/news/286551547.md) - [“AI 泔水” 降效增本，1154 条开发者讨论，指向游戏行业新问题](https://longbridge.com/zh-CN/news/287010587.md) - [腾讯云黑客松· AI 智能体争霸赛 - 赛事资源来了！](https://longbridge.com/zh-CN/news/286889701.md) - [当 AI 做空脑力劳动，大学还能教什么？](https://longbridge.com/zh-CN/news/286864639.md)