「程序员」是成就还是削弱?AI代码生成工具与程序员的「相爱相杀」
原文标题:是成就还是削弱?AI代码生成工具与程序员的「相爱相杀」
选自 IEEE
作者 Craig S. Smith
机器之心编译
编辑:杜伟
当 AI 代码生成工具越来越深入地参与到编程工作中,一些人担心长此以往它会不会取代人类程序员呢?IEEE 的一篇文章探讨了这类 AI 辅助工具的发展历程、对程序员的影响以及未来走向。
程序员注定要被取代吗?自从 OpenAI 的大规模语言模型 GPT-3 展示其基于简单的书面指令创建 HTML 网站这一惊艳的能力以来,计算机编程社区便一直被该问题笼罩着。
自那之后的几个月里,更是出现了可以根据自然语言描述(口头或书面人类语言)编写简单但完整的计算机程序以及加快程序员工作进程的自动编程助手。AI 会在多大程度上取代或增强程序员的工作呢?
IEEE Spectrum 就此咨询了一些专家,得到的坏消息是编程或许注定要被取代。但也有好消息,即在可预见的未来,计算机编程和软件开发似乎仍将是一项人类参与度极高的工作。与此同时,AI 赋能的自动代码生成通过允许在更短时间里编写更多代码,从而越来越加速软件开发。
亚马逊 AI 服务副总裁 Vasi Philomin 表示,「我不相信 AI 会完全取代人类开发者。AI 工具可以将程序员从日常任务中解放出来,但计算机编程的创造性工作仍将继续存在。」
如果有人想要成为一名开发者,但 10 年后,他们并不一定需要学习一种编程语言。相反,他们需要理解创建计算机程序的语义、概念和逻辑序列,这会将软件开发开放给更广泛的人群。
计算机编程的智能化、自动化程度越来越高
当 1940 年代电子计算机编程开始时,程序员使用数字机器码编写。直到 1950 年代中叶,美国杰出女性计算机科学家 Grace Hopper 及其 Remington Rand 公司的团队开发了 FLOW-MATIC,它允许程序员使用有限的英语词汇来编写程序。
从那时起,编程语言越来越高效,程序员的工作也更加高效。
AI 编写的代码成为更广泛改变的最前沿,它允许人们完全不用编码也能编写软件。现在已经有了像 Akkio 这样的无代码 AI 开发平台,人们可以通过简单的拖放和单击按钮功能构建机器学习模型。微软的 Power Platform 平台包括了一系列低代码产品,用户只需描述就可以生成简单的应用程序。
今年 6 月,亚马逊推出了 CodeWhisperer 预览版,这是一个基于机器学习的编程助手,类似于 GitHub 的 Copilot。这两个工具都是基于大型语言模型(LLMs),这些模型已经在海量代码库中进行了训练。当程序员编写代码时,CodeWhisperer 和 Copilot 都会提供自动补全建议,并根据简单的自然语言短语给出可执行指令建议。
前几天,GitHub 对 2000 名开发者展开了一项调研,结果发现,Copilot 将一些编码任务的时间缩短了一半,并提升了开发者对自身工作的整体满意度。
超越代码自动补全并不容易
但如果想要超越自动补全,则问题在于将意图(intent)教授给计算机。软件需求通常是模糊的,自然语言的不准确也众所周知。
英国人工智能初创公司 Diffblue 致力于使用 AI 检查和纠正代码,其联合创始人之一 Peter Schrammel 对此表示,想要解决英文书写规范中存在的歧义,则需要进行一些增量改进,在人与机器之间展开一些对话。
为了解决这些问题,微软的研究人员最近提出像基于 LLM 的代码生成中添加一种反馈机制,以便计算机在生成代码之前要求程序员澄清任何歧义的地方。微软的这一交互式系统名为 TiCoder,通过生成所谓的「测试驱动用户意图形式化」(TDUIF)来细化和形式化用户意图。
TDUIF 试图使用迭代反馈来判断程序员的算法意图,然后生成与程序员所表达意图一致的代码。下图为 TDUIF 的工作流。
论文地址:https://arxiv.org/abs/2208.05950
根据相关论文,当在 Mostly Basic Programming Problems(MBPP)基准上评估时,TiCoder 将自动生成代码的准确率从 48% 提升到了 85%。MBPP 旨在评估机器生成的代码,它包含大约 1000 个众包 Python 编程问题,由入门级程序员来解决。
一个代码单元可以长达几百行,它是程序中可以独立维护和执行的最小部分。一套单元测试通常由数十个单元测试组成,每个单元测试包含 10 到 20 行代码,用来检查单元是否按预期执行,以便当你将单元堆叠一起时,程序按预期工作。
单元测试对于调试单个函数以及手动更改代码时检测错误非常有用。此外,一个单元测试还可以用作代码单元的规范,并用来指导程序员编写干净、无 bug 的代码。虽然并没有很多的程序员追求真正的测试驱动开发,其中首先要编写单元测试,但单元测试与单元往往一起编写。
专家认为:人类程序员不会因 AI 代码生成失去工作
根据 2019 Diffblue 开发者调研的结果,开发者将大约 35% 的时间用来编写质量控制测试,而不是编写用于生产用途的代码,因此实现这部分工作的自动化就可以显著地提高生产力。
同时,Copilot、CodeWhisperer 以及其他 AI 编程助手包都可以用作编写单元测试的交互式自动补全工具。程序员得到编码建议,并选择其中效果最好的。
今年 2 月份,DeepMind 进一步使用 AlphaCode 进行完全自动代码生产。AlphaCode 是一种大型语言模型,可以根据自然语言指令编写简单的计算机程序。它使用编码器 - 解码器 Transformer 架构,首先对问题的自然语言描述进行编码,然后将生成的向量解码成解决方案所需的代码。
AlphaCode 概览。图源:https://arxiv.org/pdf/2203.07814.pdf
该模型首先在 GitHub 代码库上进行训练,直至它能够生成看起来合理的代码。同时为了对该模型进行微调,DeepMind 使用了 15000 对自然语言问题描述和以往编程竞赛中成功的代码解决方案,来创建一个关于输入 - 输出示例的专用数据集。
一旦 AlphaCode 经过了训练和微调,它就能针对其以往未见过的问题进行测试。最后一步是生成大量解决方案,然后使用过滤算法选出最佳的。DeepMind 深度学习团队负责人 Oriol Vinyals 认为,他们通过对该语言模型进行了近 100 万次的采样,创造了很多不同的程序。
为了优化样本选择过程,DeepMind 使用一种聚类算法将解决方案分组。聚类过程倾向于将可运行的解决方案组合在一起,使得更容易找到一小部分可能像程序员编写的一样工作的候选方案。
为了对系统进行测试,DeepMind 在流行的 Codeforces 平台上向人类编程竞赛提交了 10 个 AlphaCode 编写的程序,其中解决方案排在前 54%。
在最近的一次采访中,Oriol Vinyals 反问道,「为了生成一个程序,你是不是只要用自然语言编写它而不需要编码,然后解决方案就会在另一端出现呢?」Vinyals 与其他人对此持审慎态度,认为实现这一目标需要时间,可能是数十年。
Landing AI 创始人兼 CEO、AI 知名学者吴恩达表示,我们距离一个人能够告诉计算机编写任意复杂的计算机程序的要求并自动完成编码,仍然很遥远。
但是,考虑到 AI 代码生成在短短几年取得进展的速度,AI 系统最终能够根据自然语言指令编写代码似乎是不可避免的演化趋势。而手动编程软件程序将越来越像手工编织毛衣。
为了给计算机提供自然语言指令,开发者仍然需要了解一些逻辑和功能的概念以及如何构造事物。即使开发者不学习特定的编程语言或者编写计算机代码,但仍需要学习基础编程。反过来,这将使得更多的程序员创建越来越多样化的软件。
Vasi Philomin 表示自己不相信 AI 会取代人类开发者。AI 可以消除开发者不得不做的琐碎的、程式化的工作,使他们专注于更高价值的事情。
Peter Schrammel 也同意 AI 自动代码生成允许软件开发者能够专注于更困难和更具挑战性的任务。不过他补充道,至少需要确认机器所理解的内容是不是人类的意图。
他还表示,软件开发者不会因自动化代码工具取代他们而失去工作,总有更多的软件需要编写。
热门阅读:九款200元内的加湿器实测对比<\a>
其他人还看了
双11无需纠结!看完这篇攻略,直接入手云米AI全域风空调SpaceE
新房装修选空调入手云米AI全域风空调Space-可爱的春雷王
AISR爱至电动牙刷值得购买吗(AISR爱至电动牙刷质量好吗)
郑重声明:本文“「程序员」是成就还是削弱?AI代码生成工具与程序员的「相爱相杀」”,https://nmgjrty.com/shumacp_616224.html内容,由机器之心提供发布,请自行判断内容优劣。
- 全部评论(0)
- 大香煮伊区一二三四区2021维护成功,可以无限制进出了!
- 大香煮伊区一二三四区2021不再收费了!网友:终于可以免费看了
- 大香煮伊区一二三四区2021不再收费!网友:可以白嫖了
- 一卡二卡3卡4卡视频免费播放重新开放了!网友:久违了
- 一卡二卡3卡4卡视频免费播放出入无限制!网友:平台都这样才好!
- 一卡二卡3卡4卡视频免费播放人气暴涨!网友:毕竟来了很多大主播!
- 欧美xbox和ps大片重新开放了!网友:久违了
- 欧美xbox和ps大片人气暴涨原因,无限制出入是关键!
- 欧美xbox和ps大片免费播放!网友:已经来了不少
- 成品网站w灬源码1688直播身材好!网友:比明星还赞!
- 成品网站w灬源码1688直播更新引热议!上线了多种新功能!
- 成品网站w灬源码1688直播适合晚上看!粉丝:我们懂!
- XXXXXL19waswas重新开放,并且免费使用!
- XXXXXL19waswas不再收费了!网友:终于可以免费看了
- XXXXXL19waswas不再收费!网友:付费内容都取消了
- Japonensisjavacomplete重新开放!网友:爷青回!
最新更新
- 大香煮伊区一二三四区2021维护成功,可以
- 大香煮伊区一二三四区2021不再收费了!网
- 大香煮伊区一二三四区2021不再收费!网友
- 一卡二卡3卡4卡视频免费播放重新开放了
- 一卡二卡3卡4卡视频免费播放出入无限制
- 一卡二卡3卡4卡视频免费播放人气暴涨!
- 欧美xbox和ps大片重新开放了!网友:久违
- 欧美xbox和ps大片人气暴涨原因,无限制出
- 欧美xbox和ps大片免费播放!网友:已经来
- 成品网站w灬源码1688直播身材好!网友:
- 成品网站w灬源码1688直播更新引热议!上
- 成品网站w灬源码1688直播适合晚上看!粉
- XXXXXL19waswas重新开放,并且免费使用!
- XXXXXL19waswas不再收费了!网友:终于可以
- XXXXXL19waswas不再收费!网友:付费内容都
推荐阅读
- 「生物」我们应该寻找什么样的外星生命,高等的还是低等的?
- 「空间望远镜」韦布空间望远镜捕捉到布满恒星的创生之柱
- 「行者」从《双城之战》到《边缘行者》,游改动画迎来盛世?
- 「国际象棋」智能肛珠作弊案反转:19岁小将告世界冠军诽谤索赔7亿
- 「英伟达」不止是游戏党,他们才是被英伟达坑怕的人。
- 「索尼」索尼官宣!猜猜A7R5多钱?R2要价1.9万、R3要价2.4万、R4要价2.7万……
- 「癌症」一种癌症转移的关键因素
- 「智能手表」面世八年后,谷歌的智能手表生态终于迎来开放曙光
- 「adobe」用VR手捏3D模型,PS直接与甲方对线,Adobe新技术确实给设计师炫到了
- 「amd」RTX40的对手来了!AMDRDNA3显卡发布会官宣
- 「奥斯汀」苹果M3准备登场,库克展示奥斯汀AppleSilicon工程团队努力成果
- 「马修」Copilot要摊官司了!工作20年老程序员重新激活律师证,发起集体诉讼,
猜你喜欢
- [iPhone]iPhone13promax远峰蓝128G入手
- [安卓手机]realme真我GTNeo2开箱,金刚石冰芯散热系统+E4屏,5000mAh大电池
- [贴膜]红米9爆屏更换记录,弯曲的中框修复
- [智能机器人]编程从娃娃抓起,MakeBlock程小奔上手体验
- [智能摄像机]内置大电池,无需打孔走线,小米室外摄像机给你满满的安全感
- [充电器]65w网红氮化镓一次看个够
- [电脑支架]原汤化原食,LGErgo显示器支架
- [蓝牙耳机]中端耳机音质天花板,降噪很有一手,鹿图COCO真蓝牙降噪耳机评测
- [音频播放器]关于R01主板的主观看法,和一些碎碎念
- [充电器]双口快充,满足日常需求
- [VR设备]GOOVISLite头戴影院评测
- [蓝牙耳机]魅蓝Blus耳机体验,魅蓝依旧还是当年坚持做良品的青年良品
- [安卓手机]从5988跌至2749,256GB+鸿蒙OS+7nm麒麟,从高端市场跌至中端市场
- 「轻众测|素诺智能可视冲牙器」别急,对准再冲!素诺可视冲牙器让残渣无所
- 「九号新品Nano及Air T15」萌娃初体验——Ninebot九号平衡车Nano