还记得今年3月份轰动整个科技圈的AI程序员吗?现在,国内版本来了。
智东西6月21日报道,今日,阿里云推出首款基于统易大模型的“AI程序员”,可在几分钟内完成端到端应用开发,大幅提升研发效率,预计产能将提升20%。 100次。
▲阿里云在上海AI峰会上发布AI程序员(来源:阿里云)
AI程序员构建了创新的多()架构,其中不同的分别负责需求理解、任务拆解、代码编写、测试、问题修复、部署发布等软件开发任务并协同工作创建一站式解决方案。完成开发流程并具备架构师、开发工程师、测试工程师等职位的技能。
发布会上,阿里云演示了如何利用对话让AI程序员独立完成奥运赛事日程应用。从请求提交到页面启动整个过程仅用了10分钟。按照传统的开发方式,人类程序员至少需要半天时间才能完成。
▲AI程序员开发的应用截图(来源:阿里云)
阿里云的AI程序员有什么区别?和AI编码助手同易灵马有什么关系?它可以完成什么样的开发任务,如何提高程序开发效率?智喜喜与阿里云高级技术专家、统一灵马产品技术负责人神秀进行了深入对话,试图解答这些问题。
1. 端到端一站式开发,10分钟搭建活动日程应用
今年3月,来自硅谷的创业团队AI发布了全球首个AI程序员代理,号称“全球第一个完全自主的AI软件工程师”。相比之下,阿里云AI程序员有哪些差异?
神秀告诉智秀,从定义上来说,阿里云AI程序员和阿里云AI程序员类似。主要区别有三点:一是实现了端到端的效果,整个开发过程的完整性更高;其次,交互优化允许在开发过程中与人类程序员进行多次交互,并且生成的代码还可以进行两次编辑;第三,底层模型首次采用国内通用模型系统,而非GPT-4等。海外模特。
在上海AI峰会上,阿里云现场展示了AI程序员的能力。通过自然语言对话,AI程序员可以独立完成理解需求、拆分任务、编写代码、识别和解决错误、运行代码的整个过程。开发一个奥运赛事日程应用程序只需要10分钟。
▲AI程序员了解需求并编写代码(来源:阿里云)
如果按照传统的开发方式,程序员需要完成爬虫编写、网页开发、编写文件、处理程序、运行、调试、修改代码等,至少需要半天时间才能完成。
与阿里云自家的AI辅助编程产品统一灵马相比,虽然两者都是基于大模型进行编码,但表现形式却截然不同。
从产品形态来看,统一灵马是一个IDE插件,而AI程序员可以理解为一个智能代理,既可以作为IDE插件使用,也可以单独作为网页或软件使用。
在与人类交互方面,统一灵马主要作为辅助工具,完成单点需求。整体工作流程仍然以人类为主,人类工程师的工作流程没有太大变化; AI程序员是主体,人类程序员只需输入需求、验证码等即可。
从底层技术来看,两者具有相同的连续性。 AI程序员会使用统一灵马技术,统一灵马也会使用相关技术,但AI程序员是以为基础的。主持人。
2.基于统一大模型挑战GPT-4的多智能体三层技术创新
目前,阿里云的AI程序员还处于早期预研阶段,可以完成一些简单的任务,比如独立在线寻找工具、自我调试、测试迭代等。神秀表示,用更直观的方式来说,AI程序员无法通过阿里云面试。
AI程序员使用的底层模型是通用模型。通过创新的多架构,不同的分别负责需求理解、任务拆解、代码编写、测试、问题修复、部署发布等软件开发任务,协同工作,一站式完成开发流程。
基于多协同架构,AI程序员可以结构化任务管理,人类团队可以定义问题、分解需求,实现任务快速分配;通过将复杂的任务分解为单独的小子任务,它可以简化工作流程并改进开发。灵活性和适应性满足企业特点和需求;同时,每个代理可以专注于特定的任务,这可以大大提高系统效率。
例如,在编码代理中,AI程序员首创了代码仓库知识图谱结构,不仅可以了解用户的需求,还可以准确定位代码对应的修改位置并自动提供修改方案,大大简化了传统的修改方案。软件开发过程。过程。
当智西西问到,在开发AI程序员的过程中遇到的最大的技术挑战是什么?阿里云是如何克服这个问题的呢?
神秀表示,在AI代码领域的主流榜单SWE-中,大多数公司都采用GPT-4、3、3等海外模型作为基础,阿里云希望让国内模型能够赶上其性能并实现超越是团队需要克服的第一个挑战。
▲AI码字段列表SWE-
具体来说,阿里云AI程序员的技术创新主要有三个层面:顶层,产品和工程团队通过创新的产品定义和多智能体框架的开发,创造新的产品形态;中层,为代码编写真实场景,组织数据、训练模型、进行垂直方向优化;最底层是基础模型的迭代和更新。
神秀认为,GPT-4等并不是不可逾越的,尤其是在代码编写这个垂直领域。未来,阿里云将重点优化AI程序员使用工具的能力、执行效率、成本、性能等方面。预计7月份将发布详细指标和模型进展情况。
3、内部AI代码生成率达到26%,目标取代70%重复性工作
去年11月,阿里云发布了AI编程助手统一灵马,目前每天帮助开发者生成代码超过3000万次。随着统一大模型技术的进步,AI程序员的出现,让软件开发从统一凌马主导的“辅助驾驶”逐步进入“自动驾驶”阶段。
今年4月2日,阿里云宣布内部全面推行AI编程,未来20%的代码将由统一灵马编写。
两个多月过去了。这个目标实现了吗?
神秀告诉智秀,截至目前,阿里云内部26%的代码是由AI生成的。随着模型能力的提升,未来这个值还有很大的提升空间。他表示,阿里云的愿景是让AI取代开发工作中70%的重复性工作,让程序员有时间和精力专注于更复杂、更能创造价值的工作,比如算法创新、技术改进等。提升。
在编码生产力工具方面,大型号产品以多种形式出现。最简单的就是通用人工智能助手,比如统一千文。在此基础上进行定向优化,得到统一灵玛;并且需要更高的定向能力。 ,需要更多的产品形态来支撑,所以阿里云基于统一灵马推出了创新的AI程序员。
对于AI程序员是否会取代人类开发者,阿里云也有自己的想法。
神秀表示,虽然AI程序员是全流程、端到端的一站式产品,但在工作过程中并不会完全脱离人类的控制。人类程序员负责需求定义、需求分解和复杂架构分解。 AI程序员作为“化身”,根据人类的定义进行详细的反汇编、编码、知识获取等。人类仍然对项目启动的最终决定负责。
目前,统一灵马的人力综合效率提升已达到10-15%。未来结合AI程序员,预计会达到30-40%的水平。
从AI程序员产品的最终状态来看,神秀认为“人机协作模式的改变”是大模型给软件研发带来的最重要的变化。它们将是颠覆性的创新,可能会改变整个软件行业。
在实际实施过程中,产品形态也会逐步优化。阿里云认为,它将基于三种模型进行演进。
第一个是LLM as,不改变软件工程的专业分工。 AI工具通过与人协作、解决单点事务性工作以及在IDE中完成一些简单的任务(例如统一灵马)来提高开发效率。
其次是LLM,AI代理充当单一领域的功能专家,自主使用工具完成预定任务。人类主要负责完成给定上下文的知识对齐,这将独立于现有的工作流程。
最后还有LLM as-,多个智能体可以相互协作完成复杂任务的开发,而人类只需要负责创意、修正和确认。在这个过程中,测试人员和开发人员之间的协作关系可能会发生变化。阿里云此次推出的AI程序员就属于这一类。
就像大模型的出现带来了文字提示工程师等新型工种一样,在神秀看来,AI程序员也可能带来现有工种职责的改变或者创造全新的工种。例如,未来项目经理、产品经理也可以与AI程序员一起完成任务,工程师也可能转型为产品经理,而不是做琐碎的编码。两者之间的界限将变得模糊。
通过本次发布,阿里云也希望引发业界对AI程序员走向的思考:AI程序员如何理解原始代码?如何改造现有代码,让AI程序员更好地理解?未来会有专门针对AI的编程框架吗?
阿里云内部提出了“AI原生研发范式”来思考AI时代的研发流程。
阿里云统一大模型业务负责人徐东表示:“软件应用的开发范式正在发生变化,未来用户只需定义问题、提出需求,完成一个应用开发将成为常态在几分钟之内,通过AI编程助手和AI程序员的加持,每个人类程序员都将成为超级个体。”
结论:该产品仍处于早期阶段,预计半年内投入使用。
阿里云推出首款AI程序员产品,展现了阿里云对AI编程的愿景——未来每个企业都会有虚拟AI员工加入,带来新的生产力。目前,该产品仍处于早期阶段,尚未达到生产级可用性和大规模实施。
神秀表示,选择早期发布产品主要考虑三个方面:
首先,让企业看到AI程序员与人类真实的交互模式,引发企业对未来发展前景的思考。当颠覆性技术出现时,他们可以随着技术的发展及时进行组织变革和调整。
其次,通过Demo的发布,企业和开发者可以了解AI程序员技术的最新进展。阿里云后续也会详细讲解该产品的底层技术。
最后,最初的产品还有很大的改进空间。阿里云希望更多的企业和开发者能够参与产品共创,为AI程序员提供优化建议。
据透露,阿里云AI程序员将在未来几个月内推出内测版本,预计半年内正式上线。我们期待看到这个虚拟AI助手为企业和开发者注入新的生产力。