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