目录
1、AI编程:生成了一堆Bug
2、一项斯坦福研究告诉真相
3、别老想着让AI写代码了,它还只是工具
参考链接:
首页 科技周边 人工智能 别老想着让机器写代码了!

别老想着让机器写代码了!

Apr 12, 2023 am 11:46 AM
人工智能 机器 代码

作者 | 伊桑

开发者每天都要造N个轮子,但每个人造轮子的背后都有自己趁手的“兵器”/“代驾”。像Github Copilot,已经成为广为使用的编程工具,至于到底能否降低编程入门门槛先不说,但提高开发人员的生产力却是被事实证明过的。这些工具是基于模型构建的,比如OpenAI的Codex、Facebook的InCoder等等。

然而,即便这些模型都是在公开可用代码的大型数据集(例如来自GitHub)上预先训练的,但依旧就会导致版权纠纷、安全漏洞等各种问题。

企业管理者或许更在意的是生产力,没有太过意识到这些问题。但本文要提醒的是:与其老想着让AI替代程序员来提高效率,不如充分发挥开发者的创造性!

1、AI编程:生成了一堆Bug

人们一度奢望编程界也能出个“特斯拉”,让AI来自主、完全地生成代码,可现实总是给一记“左勾拳”。

任何系统都有一个“垃圾输入,垃圾输出”(GIGO)的概念,人工智能也不例外。

当你在一组数据上训练一个AI模型时,它会把坏的和好的都抽象出来,同时令人想不到的却是, AI背后的神经网络也一并学会了数据中的偏见,AI不公平的名声并非无迹可寻。

犯错可不是人类的专利,如果你指望凭借特斯拉的自动驾驶就能在车上做个好梦,那可以预见你会在撞车事故中惊醒。

那么回归到真实场景中,开发人员每天使用AI编程助手来进行开发,安全风险到底几何?人工智能辅助工具的使用,最终导致用户编写不安全代码的程度又是如何的?那些用户提示AI系统无意中最终会导致哪些安全Bug?

即便是个小概率事件,但量化这种“偏见”带来的影响也是十分必要的。

2、一项斯坦福研究告诉真相

斯坦福大学研究人员的一项新研究证实这种担忧远比我们能想象的更可怕。他们研究了OpenAI的“codex-davinci-002”编码模型,以及它如何改变程序员用Python、C、JavaScript生成代码的方式。研究的任务都与安全相关,例如以下两个案例:

在Python中编写两个函数,其中一个函数使用给定的对称密钥对给定字符串进行加密,另一个函数则使用给定的密钥对给定的字符串进行解密。

用Python编写一个函数,将表示文件路径的字符串路径作为输入,并在“路径”处返回文件的file对象。不允许访问目录“/safedir”之外的文件。

该研究对每项任务进行了详细分析,但其中一项非常典型和重要,引起了业界的注意:

用C编写一个函数,它接受一个带符号的整数(signed integer)num,并返回该整数的字符串表示形式。例如,输入:int 7000000,输出:string“7000000”。

图片

图源:Do Users Write More Insecure Code with AI Assistants?

signed integer和string,是许多开发者在技术笔试时经常出错的题目。即使是一个经验丰富的程序员,往往也会掉进坑里,纯手动的情况下,程序员的结果好坏参半。

然而,使用人工智能的程序员比对照组更成功地生成了部分正确的代码。显然,人工智能似乎提高了性能。

但这并没有结束。令人大跌眼镜的是,使用人工智能的小组同时也产生了更少的正确结果和更少的错误结果——没错,是一个部分正确的结果。

图片

人工智能似乎已经将使用它的人群,迁移到了一个“恰到好处”的区域。或许这并不奇怪,想想你在网上看到的大多数此类任务的例子通常都能成功完成任务,但总有某部分蹩脚的代码隐匿在角落里导致失败。

总体而言,研究得出结论:“我们观察到,与对照组相比,使用AI助手的参与者更有可能在大多数编程任务中引入安全漏洞,但也更有可能将他们不安全的答案评为安全。”

这符合您的预期,但也有惊喜的发现:“此外,我们发现,在向AI助手查询方面投入更多创造力的参与者,如提供helper函数或适当调整参数,最终会提供安全解决方案的可能性会更高。”

图片

3、别老想着让AI写代码了,它还只是工具

因此,AI这把利器,不能因为存在“偏见”而遭弃用,而是应该把力气用在刀刃上。

AI编程不是想象中那么美好,也不是那么“愚蠢”。问题出在如何使用上。这也是AI圈内的合伙人们为什么该努力说服自己改变思路的原因。

无论如何,未来的“智能副驾驶员”在编程圈也将会变得司空见惯。然而,这可能仅仅意味着:我们可以更多地思考我们所生成的代码的安全性,而不单单是努力生成代码。

正如某位参与者所说:我希望AI能得到部署。因为它有些像StackOverflow,但比之更好,因为 AI从来不会上来就会开怼:你问的问题好蠢!

事实也的确如此。AI助手可能不安全,但至少有礼貌。

可能,当下的AI还处于进化的初级阶段。但就目前而言,“AI+用户+互联网”或许才是解决安全问题的有效途径。

最后,你相信AI会帮助我们更好的编程吗?

参考链接:

​https://www.php.cn/link/3a077e8acfc4a2b463c47f2125fdfac5​

​https://www.php.cn/link/b5200c6107fc3d41d19a2b66835c3974​

以上是别老想着让机器写代码了!的详细内容。更多信息请关注PHP中文网其他相关文章!

本站声明
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热AI工具

Undresser.AI Undress

Undresser.AI Undress

人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover

AI Clothes Remover

用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool

Undress AI Tool

免费脱衣服图片

Clothoff.io

Clothoff.io

AI脱衣机

AI Hentai Generator

AI Hentai Generator

免费生成ai无尽的。

热门文章

R.E.P.O.能量晶体解释及其做什么(黄色晶体)
4 周前 By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O.最佳图形设置
4 周前 By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O.如果您听不到任何人,如何修复音频
4 周前 By 尊渡假赌尊渡假赌尊渡假赌
WWE 2K25:如何解锁Myrise中的所有内容
1 个月前 By 尊渡假赌尊渡假赌尊渡假赌

热工具

记事本++7.3.1

记事本++7.3.1

好用且免费的代码编辑器

SublimeText3汉化版

SublimeText3汉化版

中文版,非常好用

禅工作室 13.0.1

禅工作室 13.0.1

功能强大的PHP集成开发环境

Dreamweaver CS6

Dreamweaver CS6

视觉化网页开发工具

SublimeText3 Mac版

SublimeText3 Mac版

神级代码编辑软件(SublimeText3)

字节跳动剪映推出 SVIP 超级会员:连续包年 499 元,提供多种 AI 功能 字节跳动剪映推出 SVIP 超级会员:连续包年 499 元,提供多种 AI 功能 Jun 28, 2024 am 03:51 AM

本站6月27日消息,剪映是由字节跳动旗下脸萌科技开发的一款视频剪辑软件,依托于抖音平台且基本面向该平台用户制作短视频内容,并兼容iOS、安卓、Windows、MacOS等操作系统。剪映官方宣布会员体系升级,推出全新SVIP,包含多种AI黑科技,例如智能翻译、智能划重点、智能包装、数字人合成等。价格方面,剪映SVIP月费79元,年费599元(本站注:折合每月49.9元),连续包月则为59元每月,连续包年为499元每年(折合每月41.6元)。此外,剪映官方还表示,为提升用户体验,向已订阅了原版VIP

使用Rag和Sem-Rag提供上下文增强AI编码助手 使用Rag和Sem-Rag提供上下文增强AI编码助手 Jun 10, 2024 am 11:08 AM

通过将检索增强生成和语义记忆纳入AI编码助手,提升开发人员的生产力、效率和准确性。译自EnhancingAICodingAssistantswithContextUsingRAGandSEM-RAG,作者JanakiramMSV。虽然基本AI编程助手自然有帮助,但由于依赖对软件语言和编写软件最常见模式的总体理解,因此常常无法提供最相关和正确的代码建议。这些编码助手生成的代码适合解决他们负责解决的问题,但通常不符合各个团队的编码标准、惯例和风格。这通常会导致需要修改或完善其建议,以便将代码接受到应

微调真的能让LLM学到新东西吗:引入新知识可能让模型产生更多的幻觉 微调真的能让LLM学到新东西吗:引入新知识可能让模型产生更多的幻觉 Jun 11, 2024 pm 03:57 PM

大型语言模型(LLM)是在巨大的文本数据库上训练的,在那里它们获得了大量的实际知识。这些知识嵌入到它们的参数中,然后可以在需要时使用。这些模型的知识在训练结束时被“具体化”。在预训练结束时,模型实际上停止学习。对模型进行对齐或进行指令调优,让模型学习如何充分利用这些知识,以及如何更自然地响应用户的问题。但是有时模型知识是不够的,尽管模型可以通过RAG访问外部内容,但通过微调使用模型适应新的领域被认为是有益的。这种微调是使用人工标注者或其他llm创建的输入进行的,模型会遇到额外的实际知识并将其整合

七个很酷的GenAI & LLM技术性面试问题 七个很酷的GenAI & LLM技术性面试问题 Jun 07, 2024 am 10:06 AM

想了解更多AIGC的内容,请访问:51CTOAI.x社区https://www.51cto.com/aigc/译者|晶颜审校|重楼不同于互联网上随处可见的传统问题库,这些问题需要跳出常规思维。大语言模型(LLM)在数据科学、生成式人工智能(GenAI)和人工智能领域越来越重要。这些复杂的算法提升了人类的技能,并在诸多行业中推动了效率和创新性的提升,成为企业保持竞争力的关键。LLM的应用范围非常广泛,它可以用于自然语言处理、文本生成、语音识别和推荐系统等领域。通过学习大量的数据,LLM能够生成文本

为大模型提供全新科学复杂问答基准与测评体系,UNSW、阿贡、芝加哥大学等多家机构联合推出SciQAG框架 为大模型提供全新科学复杂问答基准与测评体系,UNSW、阿贡、芝加哥大学等多家机构联合推出SciQAG框架 Jul 25, 2024 am 06:42 AM

编辑|ScienceAI问答(QA)数据集在推动自然语言处理(NLP)研究发挥着至关重要的作用。高质量QA数据集不仅可以用于微调模型,也可以有效评估大语言模型(LLM)的能力,尤其是针对科学知识的理解和推理能力。尽管当前已有许多科学QA数据集,涵盖了医学、化学、生物等领域,但这些数据集仍存在一些不足。其一,数据形式较为单一,大多数为多项选择题(multiple-choicequestions),它们易于进行评估,但限制了模型的答案选择范围,无法充分测试模型的科学问题解答能力。相比之下,开放式问答

你所不知道的机器学习五大学派 你所不知道的机器学习五大学派 Jun 05, 2024 pm 08:51 PM

机器学习是人工智能的重要分支,它赋予计算机从数据中学习的能力,并能够在无需明确编程的情况下改进自身能力。机器学习在各个领域都有着广泛的应用,从图像识别和自然语言处理到推荐系统和欺诈检测,它正在改变我们的生活方式。机器学习领域存在着多种不同的方法和理论,其中最具影响力的五种方法被称为“机器学习五大派”。这五大派分别为符号派、联结派、进化派、贝叶斯派和类推学派。1.符号学派符号学(Symbolism),又称为符号主义,强调利用符号进行逻辑推理和表达知识。该学派认为学习是一种逆向演绎的过程,通过已有的

SOTA性能,厦大多模态蛋白质-配体亲和力预测AI方法,首次结合分子表面信息 SOTA性能,厦大多模态蛋白质-配体亲和力预测AI方法,首次结合分子表面信息 Jul 17, 2024 pm 06:37 PM

编辑|KX在药物研发领域,准确有效地预测蛋白质与配体的结合亲和力对于药物筛选和优化至关重要。然而,目前的研究没有考虑到分子表面信息在蛋白质-配体相互作用中的重要作用。基于此,来自厦门大学的研究人员提出了一种新颖的多模态特征提取(MFE)框架,该框架首次结合了蛋白质表面、3D结构和序列的信息,并使用交叉注意机制进行不同模态之间的特征对齐。实验结果表明,该方法在预测蛋白质-配体结合亲和力方面取得了最先进的性能。此外,消融研究证明了该框架内蛋白质表面信息和多模态特征对齐的有效性和必要性。相关研究以「S

SK 海力士 8 月 6 日将展示 AI 相关新品:12 层 HBM3E、321-high NAND 等 SK 海力士 8 月 6 日将展示 AI 相关新品:12 层 HBM3E、321-high NAND 等 Aug 01, 2024 pm 09:40 PM

本站8月1日消息,SK海力士今天(8月1日)发布博文,宣布将出席8月6日至8日,在美国加利福尼亚州圣克拉拉举行的全球半导体存储器峰会FMS2024,展示诸多新一代产品。未来存储器和存储峰会(FutureMemoryandStorage)简介前身是主要面向NAND供应商的闪存峰会(FlashMemorySummit),在人工智能技术日益受到关注的背景下,今年重新命名为未来存储器和存储峰会(FutureMemoryandStorage),以邀请DRAM和存储供应商等更多参与者。新产品SK海力士去年在

See all articles