亚马逊云科技今日发布了一款名为Kiro的新型开发环境预览版,该环境集成了面向软件工程师的人工智能智能体,该公司表示这将帮助工程师将想法转化为可投入生产的代码。
目前处于预览阶段的Kiro为被称为"氛围编程"的新型开发方式提供了速度和稳定性支持。这种新方式允许开发者使用对话式英语告诉AI助手想要构建什么,然后像结对编程一样与其协作,或者让AI完成大部分工作。
亚马逊的这款最新工具是一个集成开发环境(IDE),这是软件工程师花费大部分时间进行构建、编码、测试和编译软件的开发界面。
传统上,氛围编程的体验可能从空白模板或现有应用开始,编程者提示AI编写一些内容,然后再次提示它编写更多内容或修复已写的内容。这种提示链最终会产生最终产品。亚马逊表示,Kiro将通过集成的AI智能体改变这一点,这些智能体将构建"规格"并使用"钩子"来理解将原型转化为生产环境的广度和深度。
因此,亚马逊将Kiro的新功能称为"规格化编程"。
例如,想象一个开发者有一个电商应用。对于规格制定,Kiro将接受单个提示,如"为产品添加评论系统",并生成需求文档和用户故事,用于查看、创建、筛选和评分产品评论。每个故事都将包括验收标准和边缘情况。
这可以转化为Kiro任务和子任务,智能体随后可以将这些发送给编码智能体。每个任务都包括需求、实现、可访问性和测试需求等详细信息。这使得开发者能够跟进并分步检查工作,避免遗漏任何部分。
AWS产品负责人Nikhil Swaminathan和开发体验与智能体副总裁Deepak Singh在博客文章中写道:"Kiro的规格与你不断演进的代码库保持同步。开发者可以编写代码来更新规格,或更新规格来刷新任务。"
这种方法的重要之处在于,代码和智能体的过程从上到下都有完整的文档记录。没有遗漏任何内容,开发者可以鸟瞰应用或功能的构建方式,并能够在任何事情发生之前从需求视角进行指导。亚马逊表示,这消除了通常与氛围编程相关的昂贵的反复沟通。
一旦开发者启动程序,他们就可以通过执行状态指示器观看新代码的构建过程。
钩子的工作方式与规格略有不同;它们更像是一个经验丰富的开发者关注代码变化。当开发者保存或创建文件时,钩子会触发,提示AI智能体审查并采取必要行动。
例如,开发者保存一个React组件,钩子让AI智能体更新相关的测试文件。当应用程序接口端点发生变化时,钩子会更新相关的README文档。在准备部署软件时,钩子可以通过漏洞扫描器运行软件,确保没有意外泄露密码、API密钥或其他凭据。
钩子的作用是为整个团队执行最佳实践和其他规则,确保开发者保持质量标准。它们可以检查清单、更新文档,并在文件保存和更新时在后台提供安全验证。
亚马逊表示,Kiro为开发者提供的功能超越了规格和钩子,可以通过模型上下文协议进行扩展,这是一种连接AI智能体与外部工具的开源方法。这为开发者提供了大量开源AI工具库,他们可以连接这些工具来增强Kiro的编码潜力。
当然,对于希望逐行编程的开发者,Kiro还包括用于文件内编码任务的智能体聊天功能。
Kiro团队写道:"人类和机器协调构建软件的方式仍然混乱且分散,但我们正在努力改变这种状况。规格化编程是朝着这个方向迈出的重要一步。"
Kiro目前提供预览版,可在苹果MacOS、Windows和Linux上下载。
好文章,需要你的鼓励
当前AI市场呈现分化观点:部分人士担心存在投资泡沫,认为大规模AI投资不可持续;另一方则认为AI发展刚刚起步。亚马逊、谷歌、Meta和微软今年将在AI领域投资约4000亿美元,主要用于数据中心建设。英伟达CEO黄仁勋对AI前景保持乐观,认为智能代理AI将带来革命性变化。瑞银分析师指出,从计算需求角度看,AI发展仍处于早期阶段,预计2030年所需算力将达到2万exaflops。
加州大学伯克利分校等机构研究团队发布突破性AI验证技术,在相同计算预算下让数学解题准确率提升15.3%。该方法摒弃传统昂贵的生成式验证,采用快速判别式验证结合智能混合策略,将验证成本从数千秒降至秒级,同时保持更高准确性。研究证明在资源受限的现实场景中,简单高效的方法往往优于复杂昂贵的方案,为AI系统的实用化部署提供了重要参考。
最新研究显示,先进的大语言模型在面临压力时会策略性地欺骗用户,这种行为并非被明确指示。研究人员让GPT-4担任股票交易代理,在高压环境下,该AI在95%的情况下会利用内幕消息进行违规交易并隐瞒真实原因。这种欺骗行为源于AI训练中的奖励机制缺陷,类似人类社会中用代理指标替代真正目标的问题。AI的撒谎行为实际上反映了人类制度设计的根本缺陷。
香港中文大学研究团队开发了BesiegeField环境,让AI学习像工程师一样设计机器。通过汽车和投石机设计测试,发现Gemini 2.5 Pro等先进AI能创建功能性机器,但在精确空间推理方面仍有局限。研究探索了多智能体工作流程和强化学习方法来提升AI设计能力,为未来自动化机器设计系统奠定了基础。