2024年額度幾近用完。

這一年，你認為AI對軟件工程師最大的影響是什么？

今年3月，世界首個AI程序員Devin一出世，全網(wǎng)驚呼一切完結了！緊接著，AI編程神器Cursor一夜爆火。

微軟GitHub Copliot官宣加入Claude 3.5和谷歌Gemini Pro 1.5的模型；新晉編程工具Windsurf，首創(chuàng)AI實時感知免費無限用......

在大模型方面，Claude 3.5 Sonnet編程能力直接碾壓o1。o3在編碼任務Codeforces中，再次刷新SOTA，達到了國際大師的水平。

甚至，就連AI大神Karpathy忍不住感慨，AI編程領域變化太快了，未來編程只需要狂按tab tab tab就夠了。

要知道，tab鍵在編程中，主要是用來自動補全代碼。

這一年，我們見證了AI在軟件工程方面，侵入越來越深。

OpenAI現(xiàn)任董事會主席Bret Taylor表示，「軟件工程師的角色正在從編寫計算機代碼的作者，轉變?yōu)榇a生成機器的操作者」。

「那么，什么樣的計算機編程系統(tǒng)，是為這種工作流程原生設計的」？

Devin背后的創(chuàng)始人Walden Yan表示，未來的AI編程語言會更智能，可以更好地理解和表達業(yè)務規(guī)則和邏輯。

設想一下達到IMO金牌水平的語言Lean，實際上可以用來編寫商業(yè)應用程序。這樣不僅會大大降低編寫bug的可能性，而且訓練數(shù)據(jù)也會變得豐富。

恰在最近，Taylor在自己博客中發(fā)表了一篇長文，深入探討了構建自主軟件開發(fā)的時代應該是怎樣的景象。

接下來，一起拜讀下這篇文章。

從自動駕駛看AI時代軟件工程革命

當你坐在舊金山Waymo無人車后座，望著前方空蕩蕩的駕駛座和自主轉向的方向盤時，不禁會思考驚嘆：

隨著自動駕駛技術的成熟，未來幾十年，汽車將會發(fā)生多么戲劇性的變化。

這樣的場景仿佛暗示著一個全新的時代到來——汽車能重新布局內(nèi)部空間，移出方向盤，從輔助駕駛走向自動駕駛。

更重要的是，隨著共享出行和機器人出租車成本大幅下降，我們與交通工具的關系也將徹底改變。

而如今，大模型的崛起，軟件工程領域似乎也站在了類似的轉折點上。

我們顯然已經(jīng)進入了軟件工程的「輔助駕駛」時代！

像Cursor這樣的智能編程助手，正幫助程序員顯著提升工作效率。但仔細觀察便會發(fā)現(xiàn)，這些工具仍局限于為人類優(yōu)化的編程環(huán)境中：

為人類優(yōu)化的文本編輯器（如Visual Studio Code）和為人類設計的編程語言（如Python）。

所有AI輔助還僅停留在代碼補全的層面，就像汽車的輔助駕駛系統(tǒng)一樣，要求程序員必須時刻「握住方向盤」。

盡管AI編程助手飛速迭代，但我們似乎仍缺少一些能夠實現(xiàn)真正自主軟件開發(fā)的關鍵理念。

軟件工程「自主時代」來臨

那么，當軟件工程進入真正的「自主時代」，擺脫了比喻意義上的「駕駛座」和「方向盤」，又會是怎樣的一番景象？

縱觀計算機發(fā)展史，每個重大技術突破，都催生了革命性編程系統(tǒng)。

Unix帶來了C語言，并定義了此后四十年的編程語言發(fā)展方向。

隨著Xerox PARC推出圖形用戶界面（GUI），我們有了集成開發(fā)環(huán)境（IDE）和Smalltalk等編程語言。

再到分布式系統(tǒng)和多處理器的普及，則帶來了消息傳遞等抽象概念，啟發(fā)了Go等現(xiàn)代流行的編程語言。

在軟件工程的自主時代，軟件工程師的角色可能會從代碼編寫者，轉變?yōu)榇a生成機器的操縱者。

那么，為這種工作流原生設計的編程系統(tǒng)，應該是什么樣的？

如果代碼生成不再是限制因素，我們應該構建什么樣的編程語言？

Taylor繼續(xù)問道，如果大部分代碼由計算機生成，我們又如何讓軟件工程師更容易驗證其是否符合預期？

編程語言設計（比如Rust在內(nèi)存安全方面的貢獻）在其中的作用是什么？形式化驗證的作用是什么？測試、CI/CD和開發(fā)工作流的作用又是什么？

現(xiàn)在，軟件工程師的主要工作平臺是「編輯器」。在自主開發(fā)時代，軟件工程師的「指揮中心」又該是什么樣的？

Taylor認為，回答這些問題不僅有趣，而且影響深遠，還需盡快找到答案。

在這個輔助編程時代，我們創(chuàng)造了更多的軟件，但這些新軟件似乎延續(xù)了相同的安全漏洞和質量問題，而且監(jiān)督和維護難度更大。

AI不僅為人類帶來了創(chuàng)造更多軟件的機會，更為重要的是，讓軟件變得更加強大。

下一步，我們能否創(chuàng)造一個全新的軟件工程系統(tǒng)，再提高生產(chǎn)的同時，還能減少bug和安全漏洞？

既然AI可以勝任所有工作，為什么不能讓每個程序都是可驗證正確，且高效運行的？

當我們擁有這樣的系統(tǒng)后，世界上將有多少不安全的軟件可以被重寫？

作為軟件工程領域的一員，我們應該更有雄心，積極探索和設計軟件工程的自主時代。

正如自動駕駛徹底改變了人類出行方式，AI也必將重塑軟件開發(fā)的本質。

未來已來，讓我們共同期待這場激動人心的變革。

Bret Taylor個人介紹

2023年11月，OpenAI高層動蕩期間，Bret Taylor成為了新一任董事會主席，至今已經(jīng)任職1年2個月。

目前，他還是Sierra的聯(lián)合創(chuàng)始人，曾在Salesforce已擔任6年聯(lián)合CEO，在推特任職董事會成員5年多。

他曾在2002年和2003年分別獲得了斯坦福大學的計算機科學學士學位和碩士學位。

他不僅是業(yè)界有名的企業(yè)家，更是一位著名的計算機程序員。

2003年，Taylor正式以助理產(chǎn)品經(jīng)理的身份加入谷歌。在此期間，個人最突出的貢獻便是，領導團隊創(chuàng)建了家喻戶曉的「谷歌地圖」。

他們開發(fā)出了按位置搜索和谷歌本地等功能，這些都是谷歌地圖的前身。

有趣的是，在谷歌工作期間，Taylor在一個周末內(nèi)就重寫了整個谷歌地圖后端代碼。

4年后，Taylor離開了谷歌，加入風險投資公司Benchmark Capital擔任創(chuàng)業(yè)者常駐職位。

在那里，他與其他幾位前谷歌員工一起創(chuàng)立了社交網(wǎng)絡網(wǎng)站FriendFeed，Taylor擔任CEO。

直到2009年8月，這家公司被小扎以估值5000萬美元的價格收購。收購完成后，Taylor也加入了Facebook，并在2010年成為了Facebook的首席技術官。

也正是這場收購，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月，在奧特曼卸任又被重新任命風波之際，Taylor取代Greg Brockman成為OpenAI的董事會主席。自2023年起，他還同時擔任Shopify的董事會成員。