首個 AI 程序員,演示視頻大幅度造假???
不久之前震撼矽谷的 Devin,再度震撼矽谷——但這次是被打假。
事情是這樣的:油管程序員博主 Internet of Bugs(以下簡稱光頭哥)對 Devin 的視頻進行了逐幀分析,逐一舉證說明了 Devin 并不如演示中那般神奇。
甚至有 " 自己現寫 bug 然後當場修複 " 的騷操作。
其它 " 罪證 ",包括但不限于:
号稱能解決任何 Upwork 任務,但演示中解決的問題并不是 prompt 要解決的那一個,做無用功;
看起來在修複 bug,實際上修複的 bug 人類程序員根本就不會犯;
沒有意識到簡單兩步就能解決問題,花裏胡哨一頓操作,其實是自己把任務搞複雜了;
修改代碼的水平一言難盡。
此外,光頭哥花了半個多小時,把 Devin 演示視頻中的 upwork 任務完成了一遍——而 Devin 完成任務可能用時 6 個多小時。
啊這這這,真是好、大、一、口、瓜!
要知道,其背後公司 Cognition AI 手握 10 塊 IOI 金牌的活招牌,還在推出 Devin 當月宣布成功融資 2100 萬美金。
推特和 YC 上已經吵翻天了,讓這件事的讨論度高居不下。
我請問呢?真的很讨厭演示造假,讓 demo 看起來輕松達到意料之外的技術進步。
還有人表示自己很受傷,再也不會相信各種冒出來的創業公司的東西了。
emmmm ……我還是把期待值全部留給 OpenAI、Anthropic、DeepMind、FAIR 這些公司和機構吧。
完整詳情,一起接着往下看。
35 年從業者逐幀驗證
此次出來聲張正義的光頭哥,從事軟件行業已經 35 年。他首先聲明自己的立場:我并不反對高科技,但我确實反對過度炒作。
他自己也經常使用 GitHub Copilot、ChatGPT、LIama2、Stable Diffusion。
事實上,在 Devin 剛推出時候,他就反對過 " 世界上第一個 AI 軟件工程師 " 這一說法。
此次則主要針對的是一些更爲具體的說法。
比如之前 Devin 号稱能夠靠處理 upwork 任務來賺錢的。但在真正的演示中 Devin 并沒有做到這一點。
不信?沒關系,光頭哥帶着逐幀的證據來了。
總結如下:
Devin 所處理的任務并非随機,而是精心挑選;
與客戶實際需求有很大的出入;
實際操作過程,數次自己創造 bug 然後再修複;
很多毫無意義的操作,相當于幾十年前在 C 語言中才用的方法;
???
首先,來到了演示視頻的 2.936 秒處,在屏幕左上角有顯示他們搜索過這個内容。因此,這不是所謂 " 随機 " 選擇的任務。
再來看客戶給到的具體需求。真正需求爲 " 我想要利用這個庫來進行推理。你需要提供詳細的操作指南。我不想讨論完成這項工作預計需要的時間。"
但給到 Devin 的需求卻是:我希望利用這個模型在這個庫中進行推理。請自己弄明白。
最後視頻末尾出現的 Devin 生成報告中,也沒有提及客戶實際需要的内容。
那麽,這份工作的最終交付成果應該包括什麽呢?
但 Devin 實際做了什麽?
Devin 第一次真正的嘗試,是它修改了一個名爲 requirements.txt 文件 , 其中規定了代碼所依賴的庫版本。視頻中提到它正在更新代碼,但實際上更像是修改配置文件。
然後根據需求,需要 Devin 能建立自己的推理能力,并僅需使用樣例數據即可。但實際項目要比這個複雜得多。
結果很快,Devin 就遇到了第一個命令行錯誤——打開圖像失敗、文件未找到、無此文件或目錄等。但在光頭哥實際複現時并沒有出現,結果研究發現,代碼倉庫壓根就不存在這個文件。
這相當于Devin 自己創建了個 bug,然後再修複 bug。在接下來的操作中,Devin 經曆了很多次這樣的 " 自建自修 "。
不能說十分有用,隻能說完全沒有必要。
接下來,再來看看代碼庫中這樣一個 readme 文件。正如視頻所展示的那樣,readme 文件清晰地說明了該文件的功能和用法。在頁面右側 , 甚至還有一個小按鈕,點擊它就可以複制整條命令,然後粘貼到命令行窗口中,按下回車即可運行。
但 Devin 完全沒能理解,而又是自創了個項目。而寫的那段從緩沖區讀取數據的代碼十分糟糕。
于是光頭哥發出了靈魂拷問:
這不就是幾十年前在 C 語言等中才用的方法嗎???
這種做法顯然已經過時,正常人用 Python 誰還會再寫這個代碼。這種代碼很難調試,它邏輯複雜,難以理解,很容易出現細微的錯誤。
此外,代碼庫中還存在一個真正的錯誤,但 Devin 既沒有發現也沒有修複。
然後光頭哥用谷歌搜索,按照 GitHub 上一條相關評論修改了代碼,隻花了 1 分 07 秒,問題就解決了。
最終光頭哥總共花了 35 分 55 秒複現了 Devin 的工作,而 Devin 實際花了多長時間呢?
如果細看視頻 Demo,就會發現 Devin 處理工作前後有6 個小時 20 分鍾的間隔。
視頻的前部分顯示的是 3 月 9 日下午 3:25 的時間戳,但後半部分卻顯示的是當天晚上 9:41。
而逐幀細看就有會發現一些奇怪且毫無意義的操作。
比如 head -N 5 results.json | tail -N 5 這個命令,它表示取這個 JSON 文件的前五行,然後再取這些行的最後五行。
正确的做法應該是 "head-5 results.json"。那個 -N 是多餘的。隻要說 -5 就可以,不需要那些多餘的東西。
最後光頭哥銳評,AI 現在生成的内容有很多都十分愚蠢,反倒會讓事情變得更爲複雜。
當看到它的任務列表時,會覺得:哇,Devin 做了很多事情。但實際上可能并非如此。
網友:至少掌握了看起來很忙的技巧
對于此次 Devin 造假翻車,不少網友對現階段 AI 産品炒作嗤之以鼻。
我真的很讨厭現在演示造假變得如此正常化
甚至還列出了三大炒作典範:Devin、rabbit、Humane。
也有網友調侃:Devin 至少掌握了看起來很忙的技巧。
嗯?打工人有被内涵到。
不過也有一些支持的網友,比如這位沃頓商學院的教授 Ethan Mollick。
他聲稱自己有早期訪問權,在體驗中發現真的很有趣。
他認爲現在将 Agent 視作 " 炒作 " 爲時尚早,未來幾個月 Agent 的能力将十分強大。
号稱 " 世界首個完全自主的 AI 軟件工程師 "
有意思的是,演示造假事件爆出來的時間,距離 Cognition AI 推出 Devin 僅過去了一個月。
咱們一起來回顧一下。
一個月前的 3 月 13 日,Cognition AI 在推特上介紹了自家推出的 Devin,并稱其爲 " 世界上首個 AI 軟件工程師 "。
隻需一句指令,它可端到端地處理整個開發項目。
主創介紹,Devin 在長程推理和規劃上面下了很大功夫,可以規劃和執行需要數千個決策才能完成的複雜軟件工程任務。
具體來說有 6 大功能:
端到端構建和部署程序,可以解決的不隻是代碼問題,還包括與之相關的整個工作流;
自主查找并修複 bug;
訓練和微調自己的 AI 模型;
修複開源庫;
爲成熟的生産庫做貢獻;
超強學習能力,實時補足知識和能力短闆。
Devin 完整技術報告中顯示,在 SWE-bench 基準測試中,無需人類輔助,Devin 可解決13.86%的問題
——這個數據看起來不高,但其實已經超過了此前所有 AI 大模型的成績。
目前數一數二的 GPT-4,在同個測試中的成績隻有 1.74%,且必須配備一個人類,提示它要處理哪些文件。
當時的 Devin 團隊一副沒在怕的樣子。
雖然沒開放公測,但陸陸續續給出了一些内測名額。
在互聯網上搜索一番,發現上手體驗過的人給的買家秀反饋是這樣的:
熱衷 AI 的沃頓商學院教授Ethan Molick試過後,認爲其新穎的實時交互方式是最值得關注的。
他要求 Devin 開發一個解釋 " 創業公司融資中的股權稀釋 " 的網站,随後透露,AI 還無法在沒有任何幫助的情況下,自主且無差錯地完成這項工作。。
但也有人直接表示,體驗過後确實是有被震撼到。
巧的是,截圖中的這個首批内測體驗者 Bubna 哥,是 AI 基礎設施創業公司 Modal Labs 的 CTO。
後來他和 Devin 還聯手搞了個新聞。Devin 用自家老闆的賬号,潛入 Modal Labs 的工作群,和 Bubna 哥一番交流過後,根據回複調整了代碼方案,解決了一個技術問題。
△圖中的發言人背後其實是 Devin
當然,除了看上去哄哄的技術,Devin 還鍍了一層光環,那就是背後公司 Cognition,雖然是個小初創,但在招人信息中明晃晃寫着:
我們團隊手裏握着 10 塊 IOI 金牌呢~
技術演示和團隊背景都吸睛 Max,直接給 Devin 的傳播力度添磚加瓦。
也正是因爲對 Devin 的關注,代碼生成領域在過去一段時間裏進展是突飛猛進。
暫時無法在飛書文檔外展示此内容
比如,GitHub 三萬 Star 項目 MetaGPT 就上新了 " 開源版 Devin",名爲數據解釋器(Data Interpreter):
阿裏 Qwen 成員 Binyan Hui 等人開啓了OpenDevin項目,一個月過去已經在 GitHub 攬星 21.5k;
普林斯頓那邊動作更快,用 GPT-4 打造了開源SWE-agent,開箱即用,可修複 GitHub 存儲庫中真實 bug。
在 25% 的 SWE-bench 測試集上,它實現了與 Devin 演示視頻中相似的準确度—— 解決了 12.29% 的問題。
還有各個大廠也開始入駐自己的 AI 程序員……
One More Thing
結果現在發生這件事兒,怎麽說呢……
往好了想,真是救大命了,所有的程序員們都要松口氣了,還好還好,AI 暫時還無法端到端端走我的飯碗。
往壞了想,真是要了命了,這麽一個備受關注的明星項目居然是個隻能活在視頻裏的 demo。
難道世界真的是個巨大的草台班子???
參考鏈接:
[ 1 ] https://twitter.com/oran_ge/status/1778968102610546762?s=46&t=S65Q3TssMnzcxLETGqaDFQ
[ 2 ] https://twitter.com/0interestrates/status/1779268441226256500
[ 3 ] https://news.ycombinator.com/item?id=40008109
[ 4 ] https://www.youtube.com/watch?v=tNmgmwEtoWE