全球云計算領航者亞馬遜旗下的AWS部門，于近日震撼推出了一款名為Kiro的AI編程工具，此舉無疑為已經競爭激烈的AI編程工具市場再次點燃了一把熊熊烈火。

與市面上主流的AI編程工具“即提即寫”的模式不同，Kiro另辟蹊徑，將AI智能體的作用前置到了需求明確、系統設計和任務分解的關鍵階段。其核心思想——“規范驅動開發”，旨在打造高品質且易于維護的應用程序。

據Kiro官方網站的FAQ頁面介紹，傳統的“氛圍編程”雖然能夠快速生成代碼，但往往缺乏系統性的需求分析和設計文檔，導致生成的代碼難以維護和擴展，進入生產環境還需大量的后續工作。而Kiro則通過需求規格說明書，在編碼之前就對需求、系統設計和待辦任務進行了全面梳理。

AWS的產品負責人Nikhil Swaminathan和開發者體驗副總裁Deepak Singh在博客中進一步補充，Kiro能夠自動生成數據流示意圖和列出任務清單，使團隊能夠清晰地看到缺失的部分。這種結構化的方法不僅降低了后期的維護成本，還減少了AI生成代碼的隨意性，有效避免了技術債務的產生。

值得注意的是，此前亞馬遜推出的Q Developer工具主要集中在代碼補全和即時建議上，更多停留在“代碼片段生成”的層面，缺乏對完整軟件開發生命周期的支持。相比之下，Kiro更適合系統性項目的規劃和執行。Kiro作為獨立品牌發布，開發者無需AWS賬戶即可使用（支持Google賬戶登錄），這一舉措顯然是為了吸引更廣泛的開發者群體。

目前，Kiro僅支持英文對話，但未來計劃添加多語言支持。在底層模型方面，Kiro首先采用了亞馬遜投資的Anthropic模型，未來也將接入其他模型。

AI編程行業的競爭態勢日益白熱化，全球三大公有云巨頭均已入局，初創公司也如雨后春筍般涌現。有AI企業相關負責人表示，“AI編程是AI落地最成熟的場景之一”。據ResearchAndMarkets的調研報告，2024年全球生成式AI編程助手市場規模為2590萬美元，預計到2030年將增至9790萬美元。當前，微軟、谷歌等企業已實現30%的代碼由AI生成。

在AI編程領域，微軟和GitHub無疑是先行者。早在2021年，GitHub就與OpenAI聯合開發了基于GPT-3模型的AI編程助手GitHub Copilot，提供代碼補全等功能。2023年3月，GitHub又推出了基于GPT-4模型的Copilot X開發平臺，Copilot Chat成為其主要功能之一。今年5月，微軟CEO納德拉宣布GitHub Copilot邁入了“智能體時代”，成為可以獨立執行開發任務的“智能編程伙伴”。

創業團隊Cognition AI開發的全球首個AI程序員智能體Devin也備受矚目。Devin具備自主學習新技術等多種能力，人類只需下達指令和監督即可。該公司估值已飆升至近40億美元，近期高盛正在測試Devin，計劃將其納入1.2萬名開發者團隊，以期將員工生產力提升至傳統AI工具的3至4倍。

另一邊，成立僅三年的Anysphere也展現出了驚人的實力。在今年6月完成9億美元新一輪融資后，公司估值飆升至99億美元，成功躋身全球頂級AI獨角獸陣營。今年初OpenAI曾提出收購要約，但被Anysphere拒絕。