Redian新闻
>
DeepMind携AlphaCode登Science封面,写代码能力不输程序员

DeepMind携AlphaCode登Science封面,写代码能力不输程序员

公众号新闻
机器之心报道

编辑:小舟、陈萍

AI 卷到程序员自己身上了。

今年年初,DeepMind 发布了基于 Transformer 的新模型 AlphaCode,该模型实现了大规模代码生成。现在,AlphaCode 又在《Science》上发表了新论文,研究登上《Science》封面。



论文地址:https://www.science.org/doi/10.1126/science.abq1158

代码生成一直被认为是一项重要挑战。AlphaCode 论文通讯作者、DeepMind 首席科学家 Oriol Vinyals 用一张图生动描述了智能与编程之间的关系,说明 AI 模型完成编程竞赛问题是非常困难的,而 AlphaCode 做到了。


具体而言,研究者将 AlphaCode 放在 Codeforces 挑战中进行了测试,Codeforces 是全球知名的编程竞赛平台,类似于国际象棋中使用的 Elo 评级系统,聚集全世界顶尖编程者。Codeforces 每周会分享编程挑战和问题排名。不同于编程人员在打造商业应用程序时可能面临的任务,Codeforces 的挑战更加独立,需要对计算机科学中的算法和理论概念有更广泛的了解,一般是结合逻辑、数学和编码专业知识的非常专业的难题。

AlphaCode 针对 Codeforces 网站上 5000 名用户解决的 10 项挑战进行了测试,总体排名位于前 54.3%,也就是说它击败了 46% 的参赛者 。


我们来看一个 AlphaCode 生成代码的具体例子:在测试 AlphaCode 的一项挑战中,试题要求参赛者找到一种方法,使用一组有限的输入将一个随机、重复的 s 和 t 字母字符串转换为另一个相同字母的字符串。例如,竞争对手不能只输入新字母,而必须使用「backspace」命令删除原始字符串中的几个字母。对于 AlphaCode 来说,这只是中等难度的挑战:

问题来自 Codeforces,解决方案是由 AlphaCode 生成的。

Codeforces 创始人 Mike Mirzayanov 表示:「我可以肯定地说 AlphaCode 的结果超出了我的预期。对此,有人怀疑我这么乐观,因为他们认为即使在简单的竞赛问题中,参赛选手不仅需要编写常规算法,还需要创新新算法,而这一部分是最困难的。但目前看来,AlphaCode 的表现与一个前途无限的人类参赛者相当,我迫不及待地想看看未来会发生什么!」

AlphaCode 为什么这么优秀?

想要 AI 在编程比赛中脱颖而出并不容易,DeepMind 通过将大规模 transformer 以及采样、过滤相结合,AlphaCode 在解决问题数量上取得了重大进展。DeepMind 在选定的公共 GitHub 代码上预训练模型,并在相对较小的编程数据集上对其进行微调。

在评估期间,研究者为每个问题创建了大量的 C++ 和 Python 程序,且数量级比以前的工作大几个数量级。然后对这些解决方案进行筛选、聚类和重新排序,将这些解决方案分配到一个由 10 个候选程序组成的小集合中,并提交给外部评估。这个自动化系统取代了竞争对手的调试、编译、通过测试和最终提交的反复试验过程。


在 Codeforces 的允许下,DeepMind 通过模拟参与 10 场比赛来评估 AlphaCode。参赛者仅凭复制以前的解决方案等捷径来参加比赛是不可能取得好成绩的,相反,模型必须创造出新颖有趣的解决方案。

此外,该研究还在 CodeContests 测试集上检验了问题解决率和样本量的关系,结果如下图所示:


来自谷歌的世界级竞赛程序员 Petr Mitrichev 表示:「解决竞争性编程问题是一件非常困难的事情,需要良好的编码技能和人类解决问题的创造力。AlphaCode 在这一领域取得的进展给我留下了深刻的印象,很高兴看到 AlphaCode 使用语言理解能力来生成代码并进行随机探索以创建新的解决方案。」


DeepMind 表示将继续这一探索,研发更智能的 AI 模型,这仅仅是一个开始。

参考链接:
https://www.deepmind.com/blog/competitive-programming-with-alphacode

基于 Amazon SageMaker JumpStart 的 AIGC 解决方案


Stability AI 推出的火爆 AIGC 领域的 Stable Diffusion 模型从开源之初便深受开发者欢迎。该公司于11月24日正式推出了 Stable Diffusion 的2.0版本,并在刚刚结束的亚马逊云科技 re:Invent 2022 大会上宣布其已选择亚马逊作为其首选云提供商,以帮助其开发和部署用于图像、语言、音频、视频和 3D 内容生成的新人工智能模型。

12月15日,来自亚马逊云科技的嘉宾将直播分享「如何调用 SageMaker Jumpstart 预训练好的模型“一键”部署 Stable Diffusion v2 和 Bloom 模型」。

© THE END 

转载请联系本公众号获得授权

投稿或寻求报道:[email protected]

微信扫码关注该文公众号作者

戳这里提交新闻线索和高质量文章给我们。
相关阅读
7 Papers & Radios | 无残差连接训练深度transformer;DeepMind写代码AI登Science封面DeepMind 最新发文:AlphaZero 的黑箱打开了从程序员到CEO,GGV首届1024程序员节活动回顾硬核观察 #845 AlphaCode 在编程比赛中胜过了近一半的程序员CODE01 推出后,机械革命计划发布新款 CODE GO 程序员本前苏联斯大林援助蒋介石国民党Why do Tibetans think they are Chinese?耶鲁两栖机器龟登Nature封面,一种部件搞定水上、陆地行动潘建伟团队新成果登Science,被称“超冷分子领域里程碑”,为模拟量子三体问题铺路这部韩剧好看 《非常律师禹英隅》ChatGPT通过谷歌程序员面试,薪资达18.3万美元!ChatGPT通过谷歌程序员面试,薪资达18.3万美元!仿照电影情节写代码,程序员偷盗自家公司30万美元后入狱浙大再登science!这一领域实现重大突破!【E诗配画】登鹳雀楼马斯克亲自组织Code Review,并晒出Twitter架构图!网友们低估其代码能力了?DeepMind“反向”搭建Transformer方法火了:由可解释程序设计AI,项目已开源武汉大学研制出新冠「广谱疫苗」登Science子刊,5-10年打一针就够?2022年全球程序员收入报告出炉:国内程序员人均56w年薪。。网友说:我拖后腿了!DeepMind大佬4年读博日记!10组数据「定量分析」:6篇论文、97篇审稿、1308条代码提交、23098封邮件……稀疏化80%!Graphcore携手Aleph Alpha解锁人工智能计算效率新突破让程序员动嘴写代码,Copilot测试新功能「嘿,GitHub!」bāo huā shēng?bō huā shēng?新神鞋首跑:两个“我”的交战AI编程登上Science封面:AlphaCode打竞赛,三分之二赛题一遍过,成绩超过一半程序员某大龄单身程序员自曝:追求一位美团女员工,却被她欺骗利用,天天帮她免费加班写代码!数百程序员专门教AI写代码、40个bug能修复31个,“取代程序员”这次要成真了?1024程序员节,细数“改变世界”的程序员们程序员何苦为难程序员AI for Science年度激辩:AlphaFold成功难以复制,数据人才生态建设都是挑战|MEET20231024程序员节:35岁是程序员的终点吗?超级编程AI登上Science封面!AlphaCode编程大赛卷趴一半程序员Science Advances封面:郑州大学在废旧电池锂资源回收研究中取得进展太疯狂了!1024程序员节,致敬千万程序员!京东图书4折起...AI编程成本只有人类程序员的万分之一,速度却快了10000倍,再雇人类来写代码就离了大谱?
logo
联系我们隐私协议©2024 redian.news
Redian新闻
Redian.news刊载任何文章,不代表同意其说法或描述,仅为提供更多信息,也不构成任何建议。文章信息的合法性及真实性由其作者负责,与Redian.news及其运营公司无关。欢迎投稿,如发现稿件侵权,或作者不愿在本网发表文章,请版权拥有者通知本网处理。