新智元報(bào)道
編輯：桃子【新智元導(dǎo)讀】當(dāng)o3編程碾壓人類競(jìng)賽選手，一個(gè)更具前瞻性的聲音傳來(lái)OpenAI現(xiàn)任董事會(huì)主席Bret Taylor發(fā)表重磅文章，首次深入探討了軟件工程即將到來(lái)的「自主時(shí)代」。
2024年額度幾近用完。這一年，你認(rèn)為AI對(duì)軟件工程師最大的影響是什么？今年3月，世界首個(gè)AI程序員Devin一出世，全網(wǎng)驚呼一切完結(jié)了！緊接著，AI編程神器Cursor一夜爆火。
微軟GitHub Copliot官宣加入Claude 3.5和谷歌Gemini Pro 1.5的模型；新晉編程工具Windsurf，首創(chuàng)AI實(shí)時(shí)感知免費(fèi)無(wú)限用......在大模型方面，Claude 3.5 Sonnet編程能力直接碾壓o1。o3在編碼任務(wù)Codeforces中，再次刷新SOTA，達(dá)到了國(guó)際大師的水平。
甚至，就連AI大神Karpathy忍不住感慨，AI編程領(lǐng)域變化太快了，未來(lái)編程只需要狂按tab tab tab就夠了。
要知道，tab鍵在編程中，主要是用來(lái)自動(dòng)補(bǔ)全代碼。
這一年，我們見(jiàn)證了AI在軟件工程方面，侵入越來(lái)越深。OpenAI現(xiàn)任董事會(huì)主席Bret Taylor表示，「軟件工程師的角色正在從編寫(xiě)計(jì)算機(jī)代碼的作者，轉(zhuǎn)變?yōu)榇a生成機(jī)器的操作者」�！改敲�，什么樣的計(jì)算機(jī)編程系統(tǒng)，是為這種工作流程原生設(shè)計(jì)的」？
Devin背后的創(chuàng)始人Walden Yan表示，未來(lái)的AI編程語(yǔ)言會(huì)更智能，可以更好地理解和表達(dá)業(yè)務(wù)規(guī)則和邏輯。設(shè)想一下達(dá)到IMO金牌水平的語(yǔ)言Lean，實(shí)際上可以用來(lái)編寫(xiě)商業(yè)應(yīng)用程序。這樣不僅會(huì)大大降低編寫(xiě)bug的可能性，而且訓(xùn)練數(shù)據(jù)也會(huì)變得豐富。
恰在最近，Taylor在自己博客中發(fā)表了一篇長(zhǎng)文，深入探討了構(gòu)建自主軟件開(kāi)發(fā)的時(shí)代應(yīng)該是怎樣的景象。
接下來(lái)，一起拜讀下這篇文章。從自動(dòng)駕駛看AI時(shí)代軟件工程革命
當(dāng)你坐在舊金山Waymo無(wú)人車(chē)后座，望著前方空蕩蕩的駕駛座和自主轉(zhuǎn)向的方向盤(pán)時(shí)，不禁會(huì)思考驚嘆：隨著自動(dòng)駕駛技術(shù)的成熟，未來(lái)幾十年，汽車(chē)將會(huì)發(fā)生多么戲劇性的變化。
這樣的場(chǎng)景仿佛暗示著一個(gè)全新的時(shí)代到來(lái)汽車(chē)能重新布局內(nèi)部空間，移出方向盤(pán)，從輔助駕駛走向自動(dòng)駕駛。更重要的是，隨著共享出行和機(jī)器人出租車(chē)成本大幅下降，我們與交通工具的關(guān)系也將徹底改變。
而如今，大模型的崛起，軟件工程領(lǐng)域似乎也站在了類似的轉(zhuǎn)折點(diǎn)上。我們顯然已經(jīng)進(jìn)入了軟件工程的「輔助駕駛」時(shí)代！像Cursor這樣的智能編程助手，正幫助程序員顯著提升工作效率。但仔細(xì)觀察便會(huì)發(fā)現(xiàn)，這些工具仍局限于為人類優(yōu)化的編程環(huán)境中：為人類優(yōu)化的文本編輯器（如Visual Studio Code）和為人類設(shè)計(jì)的編程語(yǔ)言（如Python）。
所有AI輔助還僅停留在代碼補(bǔ)全的層面，就像汽車(chē)的輔助駕駛系統(tǒng)一樣，要求程序員必須時(shí)刻「握住方向盤(pán)」。盡管AI編程助手飛速迭代，但我們似乎仍缺少一些能夠?qū)崿F(xiàn)真正自主軟件開(kāi)發(fā)的關(guān)鍵理念。軟件工程「自主時(shí)代」來(lái)臨
那么，當(dāng)軟件工程進(jìn)入真正的「自主時(shí)代」，擺脫了比喻意義上的「駕駛座」和「方向盤(pán)」，又會(huì)是怎樣的一番景象？縱觀計(jì)算機(jī)發(fā)展史，每個(gè)重大技術(shù)突破，都催生了革命性編程系統(tǒng)。Unix帶來(lái)了C語(yǔ)言，并定義了此后四十年的編程語(yǔ)言發(fā)展方向。
隨著Xerox PARC推出圖形用戶界面（GUI），我們有了集成開(kāi)發(fā)環(huán)境（IDE）和Smalltalk等編程語(yǔ)言。再到分布式系統(tǒng)和多處理器的普及，則帶來(lái)了消息傳遞等抽象概念，啟發(fā)了Go等現(xiàn)代流行的編程語(yǔ)言。在軟件工程的自主時(shí)代，軟件工程師的角色可能會(huì)從代碼編寫(xiě)者，轉(zhuǎn)變?yōu)榇a生成機(jī)器的操縱者。那么，為這種工作流原生設(shè)計(jì)的編程系統(tǒng)，應(yīng)該是什么樣的？如果代碼生成不再是限制因素，我們應(yīng)該構(gòu)建什么樣的編程語(yǔ)言？Taylor繼續(xù)問(wèn)道，如果大部分代碼由計(jì)算機(jī)生成，我們又如何讓軟件工程師更容易驗(yàn)證其是否符合預(yù)期？編程語(yǔ)言設(shè)計(jì)（比如Rust在內(nèi)存安全方面的貢獻(xiàn)）在其中的作用是什么？形式化驗(yàn)證的作用是什么？測(cè)試、CI/CD和開(kāi)發(fā)工作流的作用又是什么？
現(xiàn)在，軟件工程師的主要工作平臺(tái)是「編輯器」。在自主開(kāi)發(fā)時(shí)代，軟件工程師的「指揮中心」又該是什么樣的？Taylor認(rèn)為，回答這些問(wèn)題不僅有趣，而且影響深遠(yuǎn)，還需盡快找到答案。在這個(gè)輔助編程時(shí)代，我們創(chuàng)造了更多的軟件，但這些新軟件似乎延續(xù)了相同的安全漏洞和質(zhì)量問(wèn)題，而且監(jiān)督和維護(hù)難度更大。AI不僅為人類帶來(lái)了創(chuàng)造更多軟件的機(jī)會(huì)，更為重要的是，讓軟件變得更加強(qiáng)大。下一步，我們能否創(chuàng)造一個(gè)全新的軟件工程系統(tǒng)，再提高生產(chǎn)的同時(shí)，還能減少bug和安全漏洞？既然AI可以勝任所有工作，為什么不能讓每個(gè)程序都是可驗(yàn)證正確，且高效運(yùn)行的？當(dāng)我們擁有這樣的系統(tǒng)后，世界上將有多少不安全的軟件可以被重寫(xiě)？作為軟件工程領(lǐng)域的一員，我們應(yīng)該更有雄心，積極探索和設(shè)計(jì)軟件工程的自主時(shí)代。
正如自動(dòng)駕駛徹底改變了人類出行方式，AI也必將重塑軟件開(kāi)發(fā)的本質(zhì)。未來(lái)已來(lái)，讓我們共同期待這場(chǎng)激動(dòng)人心的變革。Bret Taylor個(gè)人介紹
2023年11月，OpenAI高層動(dòng)蕩期間，Bret Taylor成為了新一任董事會(huì)主席，至今已經(jīng)任職1年2個(gè)月。目前，他還是Sierra的聯(lián)合創(chuàng)始人，曾在Salesforce已擔(dān)任6年聯(lián)合CEO，在推特任職董事會(huì)成員5年多。
他曾在2002年和2003年分別獲得了斯坦福大學(xué)的計(jì)算機(jī)科學(xué)學(xué)士學(xué)位和碩士學(xué)位。
他不僅是業(yè)界有名的企業(yè)家，更是一位著名的計(jì)算機(jī)程序員。2003年，Taylor正式以助理產(chǎn)品經(jīng)理的身份加入谷歌。在此期間，個(gè)人最突出的貢獻(xiàn)便是，領(lǐng)導(dǎo)團(tuán)隊(duì)創(chuàng)建了家喻戶曉的「谷歌地圖」。
他們開(kāi)發(fā)出了按位置搜索和谷歌本地等功能，這些都是谷歌地圖的前身。有趣的是，在谷歌工作期間，Taylor在一個(gè)周末內(nèi)就重寫(xiě)了整個(gè)谷歌地圖后端代碼。
4年后，Taylor離開(kāi)了谷歌，加入風(fēng)險(xiǎn)投資公司Benchmark Capital擔(dān)任創(chuàng)業(yè)者常駐職位。在那里，他與其他幾位前谷歌員工一起創(chuàng)立了社交網(wǎng)絡(luò)網(wǎng)站FriendFeed，Taylor擔(dān)任CEO。直到2009年8月，這家公司被小扎以估值5000萬(wàn)美元的價(jià)格收購(gòu)。收購(gòu)?fù)瓿珊�，Taylor也加入了Facebook，并在2010年成為了Facebook的首席技術(shù)官。也正是這場(chǎng)收購(gòu)，F(xiàn)acebook從FriendFeed采用了「點(diǎn)贊」按鈕功能。
2012年，Taylor再次出走Facebook，創(chuàng)立Quip，這是一個(gè)直接與谷歌文檔競(jìng)爭(zhēng)的產(chǎn)品。緊接著，2016年，這家公司也被Salesforce收購(gòu)。同年，Twitter正式宣布任命Taylor為其董事會(huì)成員。2017年，他同時(shí)被任命為Salesforce的首席產(chǎn)品官。2021年，他成為T(mén)witter董事會(huì)主席。直到2022年10月，馬斯克收購(gòu)Twitter后解散了整個(gè)董事會(huì)，他才卸任了職位。2023年2月，他共同創(chuàng)立了一家專注于企業(yè)級(jí)AI的創(chuàng)業(yè)公司Sierra。同年11月，在奧特曼卸任又被重新任命風(fēng)波之際，Taylor取代Greg Brockman成為OpenAI的董事會(huì)主席。自2023年起，他還同時(shí)擔(dān)任Shopify的董事會(huì)成員。
參考資料：https://x.com/walden_yan/status/1871701349425111245https://backchannel.org/blog/autonomous-software
