【播资讯】AI编程登上Science封面:AlphaCode打竞赛,三分之二赛题一遍过,成绩超过一半程序员

2022-12-12 16:00:49   来源:商业新知网

DeepMind的NS论文又新添一篇。


(资料图片仅供参考)

这回,是“信息学竞赛选手” AlphaCode ,登上了最新一期Science封面。

对,就是那个悄悄潜入10场编程比赛敲代码, 成绩超过了一半人类 的编程AI。

并且就在这篇最新更新的论文中,DeepMind还首次透露了AlphaCode的“一次通过率”: 66% 。

也就是说,AlphaCode近三分之二的提交,都是一次AC (Accepted) 的。

CMU博世人工智能中心教授J. Zico Kolter的最新评论文章也同时发表在了这一期Science上,他认为:

AlphaCode不仅仅是复制现有的解决方案。

在面对以前没见过的编程题时,它表现得非常好,无论它是在多大程度上真正“理解”了这个任务。

而在DeepMind的官方推特下,还有不少人把AlphaCode同当红炸子鸡ChatGPT联系了起来。

有人已经迫不及待看到两者同台演出:

首次通过率66%

尽管AI编程领域,GitHub的Copilot已经快进到收费模式,甚至还和程序员们“法庭上见”了。

但在DeepMind看来,AlphaCode还是颇有些不同之处。

一方面,编程竞赛对于AI而言本身就是比纯编程更为复杂的任务,关键是要为无法预见的问题构建解决方案。

另一方面,在架构上,AlphaCode采用了不同的机制来编码赛题文本。

值得一提的是,AlphaCode“打”的这10场编程比赛都来自 Codeforces 。

相比其他针对算法和数据结构的编程比赛,Codeforces更偏好考查 思维能力 ,这意味着AI无法仅仅通过“背题”来完成挑战。

例如这是Codeforces上关于1553D问题的描述:

有两个字符串s和t,都是由小写字母组成。对于字符串s,我们从前向后扫描整个字符串。

如果按下Backspace键,就删除该光标前到上一个未删除字符之间的所有字符。

也就是说,假设字符串s是”abcbd”,你分别在第一个位置和第四个位置按下Backspace,那么将得到字符串”bd”。

因为在第一个光标位置前没有字符,所以第一次没有动作。第四个光标位置前的字符是c,上一个未删除字符是a,所以按下Backspace将删除前三个字符”bd”。

针对这个“前提”,我们需要解决的问题如下:

我们能否从前向后扫描一次s字符串,让s变为t?如果可以就输出YES,否则输出NO。

针对这个问题,AlphaCode给出的解法如下:

那么,我们只需要给定输入的字符串数量 (4) 和具体的字符串内容,就能让程序输出对应的结果:

第一组ababa (ba) ,第二组ababa (bb) ,第三组aaa (aaaa) ,第四组aababa (ababa) 。

对此程序输出的结果分别是YES、NO、NO和YES。

在做题过程中,AlphaCode的“解题思路”也不再是黑箱。

它不仅成功解决了问题,还能将代码和注意力高亮的对应位置显示出来:

上述还只是AlphaCode解的其中一道题。

整体来说,在Codeforces平台举办的编程比赛模拟评估中,AlphaCode在超过5000名参与者的比赛中平均排名前54.3%——击败了一半的选手。

并且 第一次提交就通过 的概率达到了66%。

AlphaCode是如何读题写码的

所以,AlphaCode究竟是凭借什么原理达成这一“战果”的呢?

它仍然基于预训练-微调的范式打造,采用Transformer架构,其中编码器具备“ 解读能力 ”,解码器则具备“ 写码能力 ”。

这次发表在Science上的论文,也给出了更直观的原理图,并以 Python 作为案例,讲解具体训练的过程。

在预训练 (pre-training) 时,研究人员会先整理出GitHub上的各种代码集,并“喂”给AlphaCode上的编码器和解码器。

以Python上的print(“hello”)为例,这里print()是一个常见的函数,即“打印输出”,”hello”则是具体需要打印输出的内容。

经过预训练后的模型,就具备了基本的“按指令完成任务”的要求,其中编码器负责生成指令,解码器则负责填充剩余的部分。

在微调 (fine-tuning) 环节,研究人员会整理出竞争性编程竞赛的数据集,包括问题和解决思路两部分,并以GOLD与tempering作为训练目标,进一步减少搜索空间。

其中,问题以注释#的形式交给编码器“学习”,解决思路则交给解码器来尝试理解:

微调完成后,解码器就懂得通过编码器生成注释的内容,来尝试输出对应的代码。

经过预训练-微调后,就来到了最终的评测环节。

Codeforces的题目会被直接以注释的形式交给编码器,解码器则尝试输出 数百万个 不同的程序,对它们进行过滤和聚类 (cluster) 之后,提交其中的10个程序来解决问题。

(当然前面也提到,有不少问题在第一次提交后就通过了)

对于AlphaCode的出现,有程序员调侃称“可以在艺术家旁边排队等领救济粮了。”

不过,DeepMind官方对于AlphaCode的定调并非“AI版程序员”,而是希望它作为一个 辅助 的角色出现在编程工作中:

我们希望它能作为软件开发者的助手,尤其是为0编程基础的人提供写代码的机会。

关键词: 删除字符 也就是说

上一篇:
下一篇:
精彩阅读

今日关注:AI大模型加持,生成式搜索来了!

热点

当人们重新把目光看向搜索引擎,也会注意到它这些年并没有停止进化。

用友BIP推出多个安全管理服务,助力涉密企业构筑信息安全防线

热点

信息技术应用创新发展是目前的一项国家战略,也是当今形势下国家经济发展的新动能。

天天快讯:从虚拟主播的成长故事,看抖音直播的多元化生态

热点

如今,“内容升级”已经成为了整个直播行业的共识,越来越多平台开始重视、发力优质内容。

微头条丨ERP基础知识,三种类型的数据

热点

在ERP中,数据大体上可以分为三种,分别是组织机构数据、主数据和交易数据。

全球消息!“走进混合现实”背后的技术革命:从PC到手机,从绿幕到AI抠图

热点

2018年,一支别开生面的VR游戏视频风靡全球,从此成就了一款现象级产品,它就是《BeatSaber》。

三星计划明年面向开发者推出XR设备、《MOSS: BOOK Ⅱ》荣获TGA 2022“最佳VR/AR游戏”

热点

三星电子旨在创建一个以三星为中心的XR生态系统,元宇宙、软件(SW)、内容和上游零部件等各类公司和机构均可参与其中。

政企办公“分水岭”已至,融云百幄数智化破局

热点

集体中的每一个要素彼此连接和协同,彼此竞争和促进,进而引发创新、激活价值,这也是数字化转型的要义。

卫星通信,正在加速!

热点

随着各国政府投入更多资源建设自己的航天部门,太空在战略上日益重要。

财富

环球焦点!周鸿祎刚刚拿下第四个IPO,两个互联网老炮将“花房”送上市

资讯

周鸿祎刚刚拿下第四个IPO,两个互联网老炮将“花房”送上市,花房上市,姗姗来迟。

环球实时:融资丨「瑞德林生物」完成近三亿元人民币B轮股权融资,基石资本领投

资讯

融资丨「瑞德林生物」完成近三亿元人民币B轮股权融资,基石资本领投,本次融资资金将主要用于研发平台、产业化及人才的持续投入。

这个双12静悄悄

资讯

这个双12静悄悄,双12依旧是那个补贴不及双11的双12

世界球精选!世界杯救不了彩票站

资讯

世界杯救不了彩票站,限时的疯狂,彩票站生意不好做。

世界观察:融资丨「平峰科技」完成近千万元的天使轮融资,梅花创投投资

资讯

融资丨「平峰科技」完成近千万元的天使轮融资,梅花创投投资,本轮融资资金主要用于企业运营、业务拓展、产品研发等方面。

kms工具激活win10详细教程是什么?win10系统数字激活工具教程步骤是什么?

资讯

按 Win+R 打开运行窗口,输入 CMD,按 Ctrl+Shift+Enter 以管理员身份打开命令提示符。输入:slmgr ipkW269N-WFGWX-YVC9B-4J6C9-T83

ps合并图层快捷键是什么?合并图层什么意思?

资讯

选中图层按住ctrl键,点击选中ps中需要合并的多个图层。点击合并图层右击鼠标,点击合并图层。实现结果选中的多个图层就合并成一个图层了。

人人网以前账号怎么登录?如何找回人人网账号?

资讯

首先打开人人网http: www renren com 网站,在登录账号下方按注册按钮。点开注册页面后,在里面有两种注册方法,第一种方法:就是用手机号

win10快速切换桌面?电脑怎么一键切换桌面?

资讯

首先同时按下WIN键+D键,就能立刻切换回到歌眠Win系统桌面。然后点击桌面任务栏腊吩施右下角,就能立即切换回到Win系统桌面。然后不断按WIN

evaluate公式怎么保存?evaluate函数计算方法是什么?

资讯

首先打开excel软件接下来点击公式任务栏,并点击名称管理器然后新建一个公式,在引用位置处填写EVALUATE,并点击需要计算的位置,名称填写X

今日关注:AI大模型加持,生成式搜索来了!

当人们重新把目光看向搜索引擎,也会注意到它这些年并没有停止进化。

用友BIP推出多个安全管理服务,助力涉密企业构筑信息安全防线

信息技术应用创新发展是目前的一项国家战略,也是当今形势下国家经济发展的新动能。

天天快讯:从虚拟主播的成长故事,看抖音直播的多元化生态

如今,“内容升级”已经成为了整个直播行业的共识,越来越多平台开始重视、发力优质内容。

微头条丨ERP基础知识,三种类型的数据

在ERP中,数据大体上可以分为三种,分别是组织机构数据、主数据和交易数据。

全球消息!“走进混合现实”背后的技术革命:从PC到手机,从绿幕到AI抠图

2018年,一支别开生面的VR游戏视频风靡全球,从此成就了一款现象级产品,它就是《BeatSaber》。

苹果举行主题为超前瞻秋季新品发布会 AirPodsPro2正式登场

北京时间9月8日凌晨,苹果举行主题为超前瞻的秋季新品发布会,在此次发布会上,备受关注的iPhone 14系列新机、新款Apple Watch Ultra以

微软正为Windows12开发新驱动框架 提升新老显卡性能

Windows 12系统可能会在2024年到来,按照正常的节奏,其开发工作应该早已秘密进行。日前,有开发者从Windows 11最新预览版Build 25188中

华盛顿地铁站首次亮相为视障人士扩展旅行路线

5月25日消息,一款旨在帮助视障人士或盲人行人使用公共交通工具的应用程序在华盛顿地铁站首次亮相。该应用程序名为Waymap,旨在为盲人和视

2022年情况又要变了!华硕高管:今年PC恐怕要供过于求

这两年来,由于疫情导致的居家办公及远程教育需求爆发,一直在下跌的PC市场枯木逢春,2021年更是创下了2012年以来的最快增长,然而2022年情

垃圾佬的心头好!西数新款固态盘SN740曝光

对于DIY垃圾佬来说,散片、拆机件、工包……这些名词怕是并不陌生。本周,西数推出了主要供应OEM厂商的新款固态盘SN740。SN740升级到了第五

虚假宣传、误导消费者 倍至冲牙器关联公司被处罚

后来者要想在激烈的市场竞争中立足,如果可以背靠巨头享受大树底下好乘凉的红利,那自然是皆大欢喜,没有这个福气,也大可凭借自己一步一个