首个AI软件工程师震撼硅谷!10块IOI金牌团队铁了心砸程序员饭碗 首个AI软件工程师震撼硅谷!10块IOI金牌团队铁了心砸程序员饭碗
admin
2024-03-13 14:06:08
0

编辑部 发自 凹非寺
量子位 | 公众号 QbitAI

一觉醒来,程序员怕是真要失业了。

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



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

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

可以说,它远远超过了此前所有AI大模型。



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



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

比如用ControlNet,生成带有隐藏文字的图像,Devin就是一点就通~



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



而这背后的公司Cognition,虽然是初创公司,但小而精悍

在招人信息中明晃晃写着:我们团队有10块IOI金牌

让同行们直呼:哦莫,疯了吧~



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



首个AI软件工程师亮相

Devin被介绍为世界首个完全自主的AI软件工程师。

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

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

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

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

具体来看,其主要能力有以下六个:

1、端到端构建和部署程序

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

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

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

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



在明确要求之后,Devin给出了这样一份任务清单:

创建React应用,安装UI模块等依赖用React和UI模组搭建前端环境部署服务器并确保其在私有IP下运行通过CDN向首页添加p5.js库在React中部署并验证游戏的功能和资源是否正确配置



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



△Devin部署后端服务器的过程

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



2、自主查找并修复bug

不仅能一气呵成完成开发部署,Devin的debug能力也是一流。

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



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

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



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

最终经过调试,程序的bug被成功修复,完美通过了测试。



3、训练和微调自己的AI模型

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

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

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



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



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



4、修复开源库

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

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



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

5、成熟的生产库也能做贡献

还没完,业已成熟的生产库,Devin也能给咱秀一把。

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

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



△就是这个库

6、不熟的技术,现学现卖

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

把你新刷到的技术文章链接直接丢给Devin:

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



Ps. 就是利用ControlNet来做这件事。

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



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

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



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



可以说表现相当令人惊艳。

而在具体测试中,Devin取得的成绩同样亮眼。

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

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

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



公司人均一块IOI金牌

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

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

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

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

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

据悉,Cognition AI由Scott Wu、Steven Hao、WaldenYan创立。



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



曾连续三年揽获IOI金牌:



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



也曾是IOI金牌得主:



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



2020年第32届IOI金牌得主:



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

Neal Wu,同样有哈佛大学教育经历,曾在tryramp、GoogleBrain工作过。



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

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

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

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

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

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

Devin一亮相,让不少工程师大惊失色:软件工程师…要失业了???







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



前特斯拉AI总监卡帕西倒是给了一颗定心丸。

自动化软件工程,目前看起来与自动化驾驶类似。

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

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

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

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



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

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



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

2024年是AI激动人心的一年。



所以,程序员们做好被解放的准备了吗?(Doge)

参考链接:
[1]https://twitter.com/cognition_labs/status/1767548763134964000/quotes
[2]https://waldenyan.com/
[3]https://twitter.com/itsandrewgao/status/1767628564432670904
[4]https://twitter.com/Lauramaywendel/status/1767588416730894756
[5]https://www.bloomberg.com/news/articles/2024-03-12/cognition-ai-is-a-peter-thiel-backed-coding-assistant



相关内容

热门资讯

原创 深... 你要说这两年深圳的“港味儿”有多浓?去趟山姆超市或者COCO Park溜达一圈就知道了。别说普通话,...
原创 下... 黄金市场正处在一个前所未有的紧绷时刻。 2026年2月26日,伦敦现货黄金价格在一天之内上演了深V反...
上海安路信息科技股份有限公司2... 本公司董事会及全体董事保证本公告内容不存在任何虚假记载、误导性陈述或者重大遗漏,并对其内容的真实性、...
日本试采深海稀土泥,成本是中国... 来源:市场资讯 (来源:时报新征途) 央视网近日报道,日本是全球第二大稀土消费国,仅次于中国。但日...
原创 雷... 本来以为2月28日晚上,小米在巴塞罗那的发布会就是走个过场,把小米17系列在海外发一发,结果雷总根本...
人民币汇率破6.87,按现价算... 这段时间人民币兑美元汇率一直在不断上升。 截至目前,人民币在岸和离岸对美元汇率纷纷都破了6.87,其...
原创 扛... 特朗普向中国服软,中方禁令引起连锁反应。 2月26日,中国就将继续推进对中国履行中美第一阶段经贸协议...
原创 发... 先看一个老生常谈的现象:春节酒店价格又涨了。 今年春节出游的情绪明显回升,外出“旅游式过年”与返乡“...
经纪业务管理薄弱、营销宣传不规... (图片来源:视觉中国) 蓝鲸新闻2月28日讯(记者 王婉莹)中山证券合规问题再添“新伤”。日前,深圳...
以色列突袭伊朗!炸弹落在德黑兰... 来源:市场资讯 (来源:预见能源) 德黑兰市中心的爆炸声,让全球石油市场的神经瞬间绷到最紧。 2月...
金饰克价,冲上1600元!最新... 据央视新闻消息,当地时间28日,伊朗首都德黑兰发生爆炸。以色列国防部长表示,以色列对伊朗发动了先发制...
做到全球第一却累亏28亿,大疆... 出品 | 创业最前线 作者 | 星空 编辑 | 蛋总 美编 | 倩倩 审核 | 颂文 在全球人口老龄...
卷入“关联交易”风波,陆金所换... 作者 |付影 来源 | 独角金融 正处于“多事之春”的陆金所控股(6623.HK;LU.US),再现...
珠海华润银行更名为广东华润银行... 珠海华润银行完成更名。 2月28日,珠海华润银行(下称华润银行)发布公告称,根据该行董事会、股东大会...
五粮液一把手被查,离退休仅两年 来源:21世纪经济报道 记者丨肖夏 编辑丨高梦阳 朱益民 刘雪莹 央视新闻2月28日晚间披露,四川省...
佛山综保区有了“国际驿站” 2月28日,佛山综合保税区管理局与佛山市贸促会(佛山国际商会)展开交流并进行签约,由佛山市贸促会(佛...
微软与OpenAI重申合作:相... 来源:环球网 【环球网科技综合报道】2月28日消息,据多家外媒报道,融资消息曝出后,微软与Open...
供给趋紧需求爆发 小金属上演“... 本报记者 李立平 近日,素有“工业维生素”之称的小金属板块,成为资金追捧的焦点。2月27日,小金属板...
险资开年调研1319次,覆盖4... 图源:图虫创意 2026年以来,保险资金调研热情持续高涨,成为A股市场的重要风向标。 时代周报记者据...
原创 丑... 特朗普访华前夕,中国警告美国不要挑事。美国当地时间2月24日,美国贸易代表格里尔在接受媒体采访时,公...