--- title: "在代理可靠性受到審查的背景下，AWS 在 Kiro 編碼工具中推出新的規格檢查，以解決 AI 鬆散問題" type: "News" locale: "zh-HK" url: "https://longbridge.com/zh-HK/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-HK/quote/AMZD.US.md) - [AMZZ.US](https://longbridge.com/zh-HK/quote/AMZZ.US.md) - [CLOU.US](https://longbridge.com/zh-HK/quote/CLOU.US.md) - [AMZU.US](https://longbridge.com/zh-HK/quote/AMZU.US.md) - [AMZN.US](https://longbridge.com/zh-HK/quote/AMZN.US.md) - [MSFT.US](https://longbridge.com/zh-HK/quote/MSFT.US.md) - [GOOG.US](https://longbridge.com/zh-HK/quote/GOOG.US.md) - [GOOGL.US](https://longbridge.com/zh-HK/quote/GOOGL.US.md) - [OpenAI.NA](https://longbridge.com/zh-HK/quote/OpenAI.NA.md) ## 相關資訊與研究 - [矽谷舊王 重新上桌](https://longbridge.com/zh-HK/news/286776285.md) - [今起裁員 10%！涉及約 7800 人 Meta 全面轉向 AI](https://longbridge.com/zh-HK/news/286997356.md) - [遠傳合作 Amazon Leo 井琪：明年有機會上線](https://longbridge.com/zh-HK/news/286997333.md) - [I/O 大會一文速覽 新模型不是重點 谷歌要讓 AI 進入一切](https://longbridge.com/zh-HK/news/286990338.md) - [AI 教父重申人類十年內恐遭超智慧機器滅絕，建立 AI 安全機制更迫切](https://longbridge.com/zh-HK/news/286686308.md)