AI能不能代替程序員？對(duì)于這一熱門話題，業(yè)界或許尚未有定論，但一線的大廠已經(jīng)開始實(shí)踐，代碼助手已成為各家爭(zhēng)相落地的重點(diǎn)場(chǎng)景之一。
4月初，阿里高調(diào)宣布首個(gè)AI員工上崗，在內(nèi)部全面推行AI編程，使用通義靈碼輔助程序員寫代碼。更早一點(diǎn)，在3月，百度發(fā)布了Comate2.0代碼助手，對(duì)個(gè)人開發(fā)者免費(fèi)。而在去年12月，商湯推出智能編程助手代碼小浣熊，可幫助開發(fā)者提升編程效率超50%，就在4月23日，商湯在技術(shù)交流日上宣布推出代碼大模型一體機(jī)，輕量版每臺(tái)售價(jià)35萬元起，單臺(tái)支持100人團(tuán)隊(duì)使用。
眾多大廠的布局，讓程序員看起來離被替代已經(jīng)不遠(yuǎn)，不過短期來看還不必?fù)?dān)心。此前被認(rèn)為是全球首個(gè)AI程序員的Devin，在近日被指造假，在演示視頻中“自導(dǎo)自演”。有業(yè)內(nèi)人士表示，AI或許能幫忙寫一些測(cè)試腳本這樣的初級(jí)工作，但如果放在更嚴(yán)肅的商業(yè)級(jí)代碼開發(fā)流程里，哪怕是GPT-4也只能做到較低的水平。
商湯科技Copilot產(chǎn)品負(fù)責(zé)人賈安亞也一直在思考未來程序開發(fā)的終局，她認(rèn)為，AI代碼仍然會(huì)是提效工具，其核心是讓程序員更輕松便利地工作。未來程序員的工作內(nèi)容一定會(huì)改變，但也一定需要有人去用好工具，“就像有蒸汽機(jī)后，某個(gè)人可能是從馬車夫變成駕駛員，有了移動(dòng)互聯(lián)網(wǎng)，一些店從線下搬到了線上，但是很多事情本質(zhì)是沒有改變的。”未來程序員仍然是開發(fā)流程的主體和核心，但程序員或許會(huì)被重新定義。
大廠押注AI代碼
4月2日，阿里云宣布內(nèi)部正全面推行 AI 編程，使用通義靈碼輔助程序員寫代碼、讀代碼、查 BUG、優(yōu)化代碼等。阿里云還專門給通義靈碼分配了一個(gè)正式的員工工號(hào)AI001。
阿里云相關(guān)人士透露，公司未來 20% 的代碼將由通義靈碼編寫，但程序員仍然是研發(fā)的核心，他們將有更多時(shí)間專注于系統(tǒng)設(shè)計(jì)以及核心業(yè)務(wù)開發(fā)工作。
據(jù)介紹，在阿里云內(nèi)部，通義靈碼已在各個(gè)開發(fā)環(huán)節(jié)擔(dān)任代碼助理角色。以 API 開發(fā)測(cè)試工作為例，通義靈碼可將數(shù)十分鐘的人工編寫測(cè)試耗時(shí)縮短到秒級(jí)，節(jié)省程序員 70% 以上的測(cè)試代碼工作量。
百度同樣已在內(nèi)部推行AI代碼，在3月百度發(fā)文表示，代碼助手Comate已編寫了百度內(nèi)部四分之一的代碼，而在百度之外， Comate已入職喜馬拉雅、軟通動(dòng)力、上海三菱電梯等1萬多家企業(yè)，企業(yè)代碼采納率逾50%。
百度創(chuàng)始人、董事長兼首席執(zhí)行官李彥宏曾表示，2024最想推動(dòng)的一件事，是讓每個(gè)人都具備程序員的能力。他還表示，未來的編程語言只會(huì)剩下兩種，一種叫英文，一種叫做中文，“以后不會(huì)存在程序員這種職業(yè)，因?yàn)橹灰獣?huì)說話，人人都會(huì)具備程序員的能力。”
在3月底的GDC大會(huì)開幕式上，商湯科技董事長兼CEO徐立曾提到旗下代碼小浣熊產(chǎn)品，在聚焦一些重復(fù)性的勞動(dòng)后，其能夠減少軟件開發(fā)全流程需要的時(shí)間，幫助開發(fā)者提升編程效率超50%。以代碼小浣熊的誕生為例，他表示，如果從需求分析到最終完成產(chǎn)品開發(fā)，一般需要100人天（注：人天是衡量人力資源消耗量的單位，人數(shù)和天數(shù)相乘），在去年，代碼小浣熊已經(jīng)能做到節(jié)省30%的工作量，來到70人天。
作為代碼小浣熊產(chǎn)品的團(tuán)隊(duì)負(fù)責(zé)人，賈安亞介紹，軟件開發(fā)全生命周期包括從設(shè)計(jì)階段到架構(gòu)，然后到開發(fā)、測(cè)試、部署、維護(hù)等的階段。目前，在開發(fā)和測(cè)試階段，代碼助手的提效是最明顯的，因?yàn)殚_發(fā)和測(cè)試環(huán)節(jié)里有很多較為枯燥的重復(fù)性工作。
“比如要理解上下文做一些代碼補(bǔ)全，或者代碼寫完了做一些單元測(cè)試，擺脫這些枯燥工作本身對(duì)程序員來說也是一種解放，可以花更多精力聚焦在一些有創(chuàng)造性的工作，比如架構(gòu)設(shè)計(jì)等。”賈安亞說。
在一開始，代碼小浣熊能做的是相對(duì)較為重復(fù)的工作，隨著模型的推理能力增強(qiáng)，賈安亞表示，現(xiàn)在也可以做一些創(chuàng)造性的工作，比如幫助做需求文檔編寫、架構(gòu)設(shè)計(jì)，甚至是面對(duì)不同客戶的一些具體場(chǎng)景做一些部署方案，屆時(shí)整個(gè)軟件開發(fā)周期就能大幅縮短。
在AI代碼上，商湯已經(jīng)發(fā)布了更完整的產(chǎn)品。4月23日，在2024年商湯技術(shù)交流日上，商湯發(fā)布了“日日新5.0”大模型，同時(shí)面向包括代碼在內(nèi)的四個(gè)行業(yè)推出企業(yè)級(jí)大模型一體機(jī)。據(jù)介紹，小浣熊代碼大模型一體機(jī)輕量版能夠幫助開發(fā)人員更高效地編寫、理解和維護(hù)代碼，且相較于傳統(tǒng)的云服務(wù)模式，一體機(jī)的所有數(shù)據(jù)處理過程均在私有環(huán)境內(nèi)完成，能避免數(shù)據(jù)在傳輸過程中的泄露風(fēng)險(xiǎn)。商湯表示，小浣熊代碼大模型一體機(jī)在HumanEval的測(cè)試通過率達(dá)78.1%，超過GPT-4的74.4%。
2024年被認(rèn)為是大模型應(yīng)用爆發(fā)的一年，在眾多場(chǎng)景中，代碼為什么成為各家廠商重點(diǎn)布局板塊？在交流中，賈安亞認(rèn)為，過去一年多大模型智能化的能力有了進(jìn)一步增強(qiáng)，其中的推理能力、代碼能力、理科思維也是過去一年商湯在大模型上的重點(diǎn)突破。這些能力都是代碼助手落地的重要基矗
另一方面是與真實(shí)場(chǎng)景的結(jié)合。賈安亞提到，現(xiàn)在的大模型還很難保證100%的精確，但是在代碼這種場(chǎng)景下，本身程序員編寫的代碼也需要再次審查，因此即便現(xiàn)在大模型還有不確定性，AI仍然可以很好去賦能程序員提效。
“結(jié)合商湯本身的一些積累，和商湯大模型的一些進(jìn)展，以及用戶的反饋需求，辦公小浣熊和代碼小浣熊是我們當(dāng)前選定比較重點(diǎn)的方向。”賈安亞表示。
重新定義程序員
“很多人說，你們AI（代碼）都出來了，會(huì)不會(huì)把程序員代替掉？”談到AI程序員代替論，通義靈碼產(chǎn)品負(fù)責(zé)人張燎原的第一反應(yīng)是，“不會(huì)，程序員還是核心，人永遠(yuǎn)是主體，AI是客體和輔助。”
阿里云此前提到，公司未來 20% 的代碼都可以由AI去輔助生成，在這個(gè)基礎(chǔ)上，AI寫作代碼的上限有可能提高到80%嗎？張燎原認(rèn)為，短期內(nèi)是做不到的，設(shè)計(jì)或者提供思路這件事情還是需要人。
“寫代碼的過程，也是人在思考和設(shè)計(jì)的過程，在寫一個(gè)框架時(shí)腦子里在做相應(yīng)的設(shè)計(jì)，只是框架寫完之后，有一些很簡(jiǎn)單很明確的任務(wù)，AI可以獨(dú)立幫助我們完成，但是在軟件研發(fā)過程當(dāng)中，尤其遇到生產(chǎn)上的軟件研發(fā)工作，是非常大型的，會(huì)涉及到比較多得靠人腦去思考的內(nèi)容。”張燎原說。
張燎原認(rèn)為，在程序設(shè)計(jì)階段里很多都是AI難以代替人的。“還是需要人去表達(dá)意圖、分配活，這些活做得好不好、對(duì)不對(duì)，也要人去判斷，從這個(gè)角度來說，一頭一尾都是以人為主去做的。”
上海人工智能實(shí)驗(yàn)室領(lǐng)軍科學(xué)家林達(dá)華教授此前對(duì)第一財(cái)經(jīng)表示，AI作為代碼助手這個(gè)事，是經(jīng)過驗(yàn)證，確確實(shí)實(shí)能夠帶來生產(chǎn)力提升的，“比如我寫一個(gè)功能（的代碼），這個(gè)功能我自己本來沒寫過不會(huì)寫，那通常是到Google或百度查一下別人怎么寫的，借鑒過來改改，現(xiàn)在代碼助手同樣也是這個(gè)邏輯，因?yàn)樗鼘W(xué)了上億個(gè)代碼庫，所以寫函數(shù)級(jí)的代碼的填空，甚至幫忙寫一些測(cè)試腳本等等初級(jí)的工作，確實(shí)能夠幫助程序員節(jié)省非常多的時(shí)間。”
不過，林達(dá)華也提到，如果把AI代碼放在一個(gè)更加嚴(yán)肅的商業(yè)級(jí)的代碼開發(fā)流程里，就會(huì)發(fā)現(xiàn)哪怕是GPT-4也只能做到一個(gè)比較低的水平，甚至在一些場(chǎng)景下10%的成功率都做不到。
現(xiàn)在某種意義上AI代碼還是一種語言能力，“就是以前見過的內(nèi)容能夠大差不差地，根據(jù)一定的場(chǎng)景改一改調(diào)出來，但是它現(xiàn)在顯然并不具備非常深層次的邏輯思維的能力，這個(gè)對(duì)于我們構(gòu)建一個(gè)真實(shí)的軟件來說其實(shí)是最重要的。”林達(dá)華認(rèn)為，現(xiàn)在談取代程序員，大模型還有一定的距離。
此前一位大廠程序員也有同樣的感觸，他對(duì)第一財(cái)經(jīng)提到，大模型雖然對(duì)AI編程有幫助，但離解決復(fù)雜問題還是有很長的距離。“就像造房子一樣，不是只拿著榔頭在那錘，首先得把怎么造的設(shè)計(jì)圖構(gòu)思好，然后第一步造什么，第二步造什么，怎樣造它不會(huì)塌，要造多久都想清楚了，然后再一步一步地去敲。”這些都是程序員需要做的部分。
3月初，初創(chuàng)公司Cognition發(fā)布的首個(gè)AI軟件工程師Devin曾轟動(dòng)一時(shí)，號(hào)稱“全球首位AI程序員”，雖然尚未公測(cè)，但根據(jù)官方的報(bào)告，只需一句指令，就可端到端地處理整個(gè)開發(fā)項(xiàng)目，此外視頻顯示它具備自主學(xué)習(xí)新技術(shù)、端到端構(gòu)建和部署應(yīng)用、自主查找和修復(fù)代碼問題等能力。
就在4月9日，一位自稱有35年軟件工程師經(jīng)驗(yàn)的網(wǎng)絡(luò)博主逐幀復(fù)現(xiàn)了Devin的演示視頻并提出四點(diǎn)質(zhì)疑，包括Devin所展示的編程能力存在一定欺騙性，“它處理的任務(wù)并非隨機(jī)，而是演示者精心選擇的刻意呈現(xiàn)”；此外，Devin在操作過程中看似修復(fù)了許多問題，但這些問題很多都是Devin的“自導(dǎo)自演”。這也證明目前AI還難以處理復(fù)雜問題，去代替程序員。
賈安亞在采訪中也表示，現(xiàn)在還很難靠AI完全端到端去寫正式業(yè)務(wù)的代碼。“所以我們到后續(xù)發(fā)布的產(chǎn)品，其實(shí)還會(huì)是人類和工具交互的一個(gè)邏輯，其實(shí)是半人工、半模型的狀態(tài)去做一個(gè)交互，做端到端的提效。”
對(duì)于未來的終局，賈安亞認(rèn)為，可能會(huì)衍生出基于自然語言的編程語言框架。本身程序員的開發(fā)語言就是不斷迭代的，面向人類用更友好的方式去呈現(xiàn)，如Java、Python其實(shí)都是在低級(jí)編程語言上抽象出的高級(jí)編程語言，不過，未來如果用人類的自然語言去編程，一個(gè)問題在于，機(jī)器語言不太會(huì)有歧義，是非常嚴(yán)謹(jǐn)?shù)恼Z言，但自然語言特點(diǎn)在于其復(fù)雜性，在語法、語境、語音、語調(diào)中都隱含著很多信息，表達(dá)靈活多變，呈現(xiàn)的語義是模糊的。而程序執(zhí)行，需要的是準(zhǔn)確、穩(wěn)定地輸入和輸出。因此，我們最習(xí)慣的自然語言一定不是能直接引起廣泛共識(shí)的下一代編程語言，可能會(huì)在此基礎(chǔ)上衍生新的語言框架。
到最后，賈安亞認(rèn)為，AI會(huì)是一個(gè)提效工具，它的核心是讓我們更輕松便利地工作。未來程序員的工作內(nèi)容一定會(huì)改變，未來也一定需要有人去用好這些工具，“就像有蒸汽機(jī)后，某個(gè)人可能是從馬車夫變成駕駛員，有了移動(dòng)互聯(lián)網(wǎng)，一些店從線下搬到了線上，但是很多事情本質(zhì)是沒有改變的，只是說我們?cè)趺慈ビ煤盟?rdquo;
“產(chǎn)品經(jīng)理、數(shù)據(jù)分析師、軟件開發(fā)工程師這些崗位大多是前一批科技變革的產(chǎn)物。”賈安亞認(rèn)為，在下一個(gè)科技變革的時(shí)代，一些具體的崗位和內(nèi)容可能會(huì)有一些變化，但世界的內(nèi)核并沒有變。
AI或許不會(huì)取代程序員，但或許會(huì)重新定義程序員。未來，對(duì)程序員的要求也可能不是敲代碼敲得快就好了。
(本文來自第一財(cái)經(jīng))
