人工智能

首个AI软件工程师震撼硅谷!手握10块IOI金牌,他们铁了心砸掉程序员饭碗

字号+作者: 来源:量子位公众号 2024-03-13 13:46 评论(创建话题) 收藏成功收藏本文

声明:本文来自于微信公众号 量子位 (ID:QbitAI),作者:量子位 ,授权站长之家转载发布。一觉醒来,程序员怕是真要失业了。首个AI软件工程师一亮相,直接引爆整个'...

声明:本文来自于微信公众号 量子位 (ID:QbitAI),作者:量子位 ,授权站长之家转载发布。Po3品论天涯网

一觉醒来,程序员怕是真要失业了。Po3品论天涯网

首个AI软件工程师一亮相,直接引爆整个科技圈。只需一句指令,它可端到端地处理整个开发项目。Po3品论天涯网

图片Po3品论天涯网

在SWE-bench基准测试中,它无需人类帮助,可解决13.86%的问题。Po3品论天涯网

相比之下,GPT-4只能处理1.74%的问题,且都需要人类提示告知处理哪些文件Po3品论天涯网

可以说,它远远超过了此前所有AI大模型。Po3品论天涯网

图片Po3品论天涯网

从零构建网站、自主查找并修复Bug、甚至是训练和微调自己的AI模型通通都不在话下~也可为一些成熟的代码库做贡献。Po3品论天涯网

图片Po3品论天涯网

就是一些不熟悉的技术,给它看一篇博客文章。它也能立马搞定。Po3品论天涯网

比如用ControlNet,生成带有隐藏文字的图像,Devin就是一点就通~Po3品论天涯网

图片Po3品论天涯网

据介绍,它已经成功通过一家AI公司面试,并且在Upwork上完成了实际工作。Po3品论天涯网

图片Po3品论天涯网

而这背后的公司Cognition,虽然是初创公司,但小而精悍Po3品论天涯网

在招人信息中明晃晃写着:我们有10个IOI金牌得主Po3品论天涯网

让同行们直呼:哦莫,疯了吧~Po3品论天涯网

图片Po3品论天涯网

目前Devin尚未公测,不过已经有少部分人拿到了资格,开始实测了一波……Po3品论天涯网

图片Po3品论天涯网

首个AI软件工程师亮相

Devin被介绍为世界首个完全自主的AI软件工程师。Po3品论天涯网

它在长程推理和规划上面下了很大功夫,可以规划和执行需要数千个决策才能完成的复杂软件工程任务。Po3品论天涯网

在这之中,进行到任何一步它都可以回调所有相关的上下文信息,保证整体逻辑性,并方便随时校正错误。Po3品论天涯网

既然是一个端到端AI,软件开发人员常用的工具,比如shell、代码编辑器和浏览器等等,Devin也都配备(沙盒计算环境中),主打一个全方位服务。Po3品论天涯网

最终的Devin,让人类只需要发号施令,其他什么也不用做。Po3品论天涯网

具体来看,其主要能力有以下六个:Po3品论天涯网

1、端到端构建和部署程序Po3品论天涯网

Devin可以帮我们解决的不只有是代码,还包括与之相关的整个工作流。Po3品论天涯网

比如,当我们需要设计一个网页游戏时,Devin不仅能生成网页,还能直接完成服务端的部署,然后直接发布上线,省去了中间的人工操作。Po3品论天涯网

只需要告诉Devin,我们想做一个个人网站,里面运行一个Devin定制版的生命游戏。Po3品论天涯网

然后Devin表示自己会先搭建网站的基本架构,并询问了有没有更具体的需求。Po3品论天涯网

图片Po3品论天涯网

在明确要求之后,Devin给出了这样一份任务清单:Po3品论天涯网

创建React应用,安装UI模块等依赖Po3品论天涯网

用React和UI模组搭建前端环境Po3品论天涯网

部署服务器并确保其在私有IP下运行Po3品论天涯网

通过CDN向首页添加p5.js库Po3品论天涯网

在React中部署并验证游戏的功能和资源是否正确配置Po3品论天涯网

图片Po3品论天涯网

接着,Devin就会按照自己设计的这个清单开始编写代码,然后部署服务……Po3品论天涯网

图片Po3品论天涯网

Devin部署后端服务器的过程

最终完成全部工作之后,一个即点即玩的游戏链接就呈现在了我们面前。Po3品论天涯网

图片Po3品论天涯网

2、自主查找并修复bugPo3品论天涯网

不仅能一气呵成完成开发部署,Devin的debug能力也是一流。Po3品论天涯网

开发者给Devin一个GitHub链接,让它先熟悉项目情况,然后一会儿要准备数据进行测试。Po3品论天涯网

图片Po3品论天涯网

接着,Devin就会按部就班地编写测试用的程序并准备好有关数据,然后运行。Po3品论天涯网

结果,在开发者已经发布的完整项目之中,Devin还真的找到了连开发者自己都没有发现的漏洞。Po3品论天涯网

图片Po3品论天涯网

发现漏洞之后,Devin会回溯报错出现的位置及对应的数据,然后分析原因并给出解决方案。Po3品论天涯网

最终经过调试,程序的bug被成功修复,完美通过了测试。Po3品论天涯网

图片Po3品论天涯网

3、训练和微调自己的AI模型Po3品论天涯网

除了这些一般的程序或项目,作为一个全能型AI助手,Devin还有能力帮助人类训练和微调其他AI。Po3品论天涯网

对于一些常见的模型(比如示例中的Llama),用户只需要在promot中提及模型的名称,Devin就直接知道要训练哪个模型。Po3品论天涯网

而在这个示例中,微调的具体方法(QLoRA)是以GitHub链接的形式输入给Devin的。Po3品论天涯网

图片Po3品论天涯网

接到指令后,Devin还是像处理平常的程序一样边规划边执行,所需环境和依赖,还有模型本体,都会自动下载安装。Po3品论天涯网

图片Po3品论天涯网

这些准备都完成之后,微调工作就会有条不紊地进行,而且其中的状态可以实时监控。Po3品论天涯网

图片Po3品论天涯网

4、修复开源库Po3品论天涯网

Devin的能力不仅在于开发者自己本身的项目,开源社区里的,它也能hold住。Po3品论天涯网

比如我们只需要把GitHub项目的issue链接丢给Devin,它就能立即完成所需的所有配置,并自动收集上下文信息,然后开始解决问题。Po3品论天涯网

图片Po3品论天涯网

当然,开源项目的功能请求(feature request)也没问题,和修问题的流程一样,自己搞好配置,收集上下文,然后就开始编码。Po3品论天涯网

5、成熟的生产库也能做贡献Po3品论天涯网

还没完,业已成熟的生产库,Devin也能给咱秀一把。Po3品论天涯网

官方介绍,sympy Python代数系统中有一个对数计算的错误,就被Devin顺利解决:Po3品论天涯网

配置环境、重现bug,自行编码并修复、测试,再次一气呵成。Po3品论天涯网

图片Po3品论天涯网

就是这个库Po3品论天涯网

6、不熟的技术,现学现卖Po3品论天涯网

最后,遇到自己不会的技能,Devin可以直接现学,并迅速付诸应用。Po3品论天涯网

把你新刷到的技术文章链接直接丢给Devin:Po3品论天涯网

Hi Devin!我在这个博客文章中(附网址)发现,可以生成带有隐藏文本的图像。文中提到了一个脚本,你能配置好它,然后为我真的生成一些图片吗?Po3品论天涯网

图片Po3品论天涯网

Ps. 就是利用ControlNet来做这件事。Po3品论天涯网

Devin接到请求后,首先询问了更为详细的需求,然后开始阅读博客文章,并像平常一样规划出了行动方案。Po3品论天涯网

图片Po3品论天涯网

有了详细的行动方案后,它立刻就在数分钟内进行代码编写和调试。Po3品论天涯网

同样的,在这里遇到bug也不用惊慌,Devin同样有能力直接进行修复。Po3品论天涯网

图片Po3品论天涯网

完成工具的搭建后,Devin也没有劳烦人类自行配置使用,而是一气呵成,最终生成了咱们要的带隐藏文字的图像:Po3品论天涯网

图片Po3品论天涯网

可以说表现相当令人惊艳。Po3品论天涯网

而在具体测试中,Devin取得的成绩同样亮眼。Po3品论天涯网

在评估Devin的表现时,团队没有使用常见的HumanEval,而是用了更具挑战性的SWE-bench。Po3品论天涯网

这个数据集是由GitHub中的实际问题组成的,Devin不借助任何辅助,就取得了13.86%的最高解决率。Po3品论天涯网

而同样在无辅助的条件下,GPT-4的问题解决率为零,此前的最佳水平是1.96%,加入辅助也才4.8%。Po3品论天涯网

图片Po3品论天涯网

公司人均一块IOI金牌

如此炸天的新成果,背后却是一家名不见经传的初创公司。Po3品论天涯网

但这种“名不见经传”背后,实际是一个10人员工的编程天才团队,IOI金牌就有10块…人均一块。Po3品论天涯网

Devin背后公司名为Cognition AI,总部设在纽约和旧金山,定位是一家专注于推理的应用AI实验室。Po3品论天涯网

此前这家公司一直秘密工作,于两个月前正式注册成立。Po3品论天涯网

目前该团队规模仅有10人,但共揽获了10枚IOI金牌,创始成员均曾在Cursor、Scale AI、Lunchclub、Modal、Google DeepMind、Waymo、Nuro等从事AI前沿工作。Po3品论天涯网

据悉,Cognition AI由Scott Wu、Steven Hao、WaldenYan创立。Po3品论天涯网

图片Po3品论天涯网

联合创始人兼CEO Scott Wu,根据我们目前搜到的资料,Scott Wu曾就读于哈佛大学,曾是Lunchclub的联合创始人兼CTO。Po3品论天涯网

图片Po3品论天涯网

曾连续三年揽获IOI金牌:Po3品论天涯网

图片Po3品论天涯网

联合创始人兼CTO Steven Hao,毕业于MIT计算机专业,之前曾在Scale AI、Jane Street、DE Shaw、Quora工作。Po3品论天涯网

图片Po3品论天涯网

也曾是IOI金牌得主:Po3品论天涯网

图片Po3品论天涯网

联合创始人兼CPO Walden,曾于哈佛大学攻读计算机科学和经济学相关专业,还曾从事MIT PRIMES密码学和机器学习方向的计算机科学研究,还是沃顿商学院高中投资大赛北美地区决赛入围者。Po3品论天涯网

图片Po3品论天涯网

2020年第32届IOI金牌得主:Po3品论天涯网

图片Po3品论天涯网

据X推文的转发顺藤摸瓜,还有一位创始成员被扒了出来。Po3品论天涯网

Neal Wu,同样有哈佛大学教育经历,曾在tryramp、GoogleBrain工作过。Po3品论天涯网

图片Po3品论天涯网

整个团队长期目标,意在通过解决推理问题,在广泛的学科领域解锁新的可能性,而“代码仅仅是开始”。Po3品论天涯网

不过对于Devin,目前他们尚未透露是如何实现这一壮举的,包括到底是使用自己的专有模型还是第三方模型。Po3品论天涯网

此外,Cognition AI目前已获得硅谷投资大佬彼得·蒂尔的Founders Fund基金领投的2100万美元A轮融资Po3品论天涯网

众所周知,彼得蒂尔以挖掘这种极具突破性的创新项目著称,而且哈佛背景的创业者更是和他渊源紧密。Po3品论天涯网

上一个他早期投资中类似背景,最知名的是扎克伯格和Facebook。Po3品论天涯网

“自动化软件工程与自动驾驶类似”

Devin一亮相,让不少工程师大惊失色:软件工程师…要失业了???Po3品论天涯网

图片Po3品论天涯网

图片Po3品论天涯网

图片Po3品论天涯网

不过也有人依然乐观:终于有AI让我们从繁重的编程任务中解脱出来。Po3品论天涯网

图片Po3品论天涯网

前特斯拉AI总监卡帕西倒是给了一颗定心丸。Po3品论天涯网

自动化软件工程,目前看起来与自动化驾驶类似。Po3品论天涯网

具体体现在发展进程上:首先人类手动编写代码,然后 GitHub Copilot 自动完成几行,再之后ChatGPT 编写代码块,现在就是Devin的出现。Po3品论天涯网

接下来,他认为自动化软件工程会演变成为协调开发人员需要串联的许多工具一起编写代码:终端、浏览器、代码编辑器等。以及人类负责监督,逐渐转向更高级别工作。Po3品论天涯网

结合卡帕西的经历和对自动驾驶的理解,他表达的更多是一种渐进式推进,即会有一段时间的人机共驾,然后在数据和迭代反馈后,才能实现完全无人驾驶。Po3品论天涯网

自动化软件也类似,先低代码,然后零代码,最后完全不需要人写代码。Po3品论天涯网

图片Po3品论天涯网

Perplexity AI CEO给出了个高度的肯定:这应该是任何Agent的第一个演示。Po3品论天涯网

它似乎跨越了人类水平的门槛并且可靠地工作。它还告诉我们通过结合 LLM 和树搜索算法可以实现什么Po3品论天涯网

图片Po3品论天涯网

德扑AI之父、前FAIR(Meta)研究科学家、现已加入OpenAI的Noam Brown转发开麦:Po3品论天涯网

2024年是AI激动人心的一年。Po3品论天涯网

图片Po3品论天涯网

所以,程序员们做好被解放的准备了吗?(Doge)Po3品论天涯网

参考链接:Po3品论天涯网

[1]https://twitter.com/cognition_labs/status/1767548763134964000/quotesPo3品论天涯网

[2]https://waldenyan.com/Po3品论天涯网

[3]https://twitter.com/itsandrewgao/status/1767628564432670904Po3品论天涯网

[4]https://twitter.com/Lauramaywendel/status/1767588416730894756Po3品论天涯网

[5]https://www.bloomberg.com/news/articles/2024-03-12/cognition-ai-is-a-peter-thiel-backed-coding-assistantPo3品论天涯网

Po3品论天涯网

本网除标明“PLTYW原创”的文章外,其它文章均为转载或者爬虫(PBot)抓取; 本文只代表作者个人观点,不代表本站观点,仅供大家学习参考。本网站属非谋利性质,旨在传播马克思主义和共产主义历史文献和参考资料。凡刊登的著作文献侵犯了作者、译者或版权持有人权益的,可来信联系本站删除。 本站邮箱[email protected]