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