想象這樣一個未來:人工智能正悄然重塑軟件開發(fā)行業(yè),它可以精準重構混亂代碼,高效遷移遺留系統(tǒng),智能排查競態(tài)條件,而人類工程師得以專注于更具創(chuàng)造性的架構設計和創(chuàng)新性問題解決。這一看似觸手可及的未來愿景,在麻省理工學院計算機科學與人工智能實驗室(CSAIL)最新發(fā)表的研究中獲得了嚴謹審視。
“人人都說不再需要程序員,自動化工具已遍地?!盡IT教授、CSAIL首席研究員、論文資深作者ArmandoSolar-Lezama說,“工具確實強大,可離真正的自動化愿景仍有距離。”
由麻省理工學院(MIT)教授ArmandoSolar-Lezama領銜,聯(lián)合加州大學伯克利分校、康奈爾大學、斯坦福大學等多所頂尖院校的專家,發(fā)表了一篇題為《邁向AI軟件工程的挑戰(zhàn)與路徑》的文章,通過系統(tǒng)性的實證分析,揭示了當前AI輔助軟件開發(fā)所面臨的三大核心挑戰(zhàn)。
評估體系亟待更新。研究指出,當前主流的SWE-Bench評估標準存在明顯不足。測試案例通常僅涉及幾百行代碼,遠不及企業(yè)級項目的規(guī)模;評估場景過于簡單,無法反映真實的工程挑戰(zhàn);更存在數(shù)據(jù)泄露的風險。這種“本科編程練習”式的評估,難以準確衡量AI在實際開發(fā)環(huán)境中的表現(xiàn)。而真實的工作要復雜得多,包括日常重構優(yōu)化設計;把數(shù)百萬行COBOL遷往Java重塑業(yè)務;持續(xù)測試與分析——模糊測試、屬性測試——抓并發(fā)漏洞、修零日;還要給十年老代碼補文檔等維護工作。
人機協(xié)作瓶頸。論文第一作者AlexGu指出,現(xiàn)有AI編程助手與開發(fā)者的交互就像“一條纖細的通信線”。具體表現(xiàn)在,開發(fā)者對AI輸出的控制力有限,生成的代碼是一個龐大而無結構的文件,外加流于表面的測試;系統(tǒng)缺乏表達自信度的機制,無法標識需要人工復核的代碼段;對專業(yè)開發(fā)工具的支持不足,難以有效運用調試器等專業(yè)工具。這些問題導致開發(fā)者可能盲目信任那些能通過編譯卻在運行時出錯的代碼。
規(guī)模化的挑戰(zhàn)更為嚴峻。研究表明,在面對企業(yè)級代碼庫時,AI表現(xiàn)明顯下降。由于每家公司的代碼庫都具有獨特性,AI常常生成看似合理但不符合特定企業(yè)規(guī)范的“幻覺代碼”。此外,基于語法相似性的檢索方法也經常出現(xiàn)誤判。
針對這些挑戰(zhàn),研究團隊從三方面提出了突破性的解決方案。
數(shù)據(jù)層面,建議建立包含開發(fā)全流程的增強數(shù)據(jù)集,重點記錄代碼取舍決策過程、重構演變軌跡等技術細節(jié);評估體系需要開發(fā)多維度框架,特別關注重構質量指數(shù)、缺陷修復持久性等關鍵指標;在協(xié)作機制上,應設計新型人機交互界面,實現(xiàn)不確定性可視化、決策過程可追溯等高級功能。
AlexGu將其稱之為需多方參與的“開源行動”;Solar-Lezama則期待漸進式地突破反哺商業(yè)工具,把AI從補全助手變?yōu)檎嬲暮献骰锇椤?/p>
“軟件已經支撐著金融、交通、醫(yī)療保健以及日常生活的方方面面,而構建和安全地維護軟件所需的人力正在成為瓶頸。能擔臟活且不埋雷的AI,將解放人去創(chuàng)造、決策、守倫理?!盙u說,“但前提是我們承認,補全最簡單,其余最難。我們的目標不是取代程序員,而是增強他們的能力。當人工智能能夠處理枯燥與可怕的事情時,人類工程師可以將時間投入到只有人類才能做的事情上。”
1.https://news.mit.edu/2025/can-ai-really-code-study-maps-roadblocks-to-autonomous-software-engineering-0716
山里少年葛東旭獲葛洪傳承,從草根逆襲成超級醫(yī)圣與富一代!
山里少年葛東旭獲葛洪傳承,從草根逆襲成超級醫(yī)圣與富一代!今日推薦:《都市超級醫(yī)圣》作者:斷橋殘雪。點擊文末超鏈接開始觀看吧~第七百十八章你們四個一起上吧在場的人只要不是傻子,都能看得出來,那一腳絕不簡單!四個日本人自然不想挨那一腳!不過今晚來參加派對的年輕人才不管這么多,聽說葛東旭要一個人單挑四個,立馬再 都市超級醫(yī)圣,山里人葛東旭的創(chuàng)富之路,一邊煉丹修行一邊賺錢!今日推薦:《都市超級醫(yī)圣》作者:斷橋殘雪_——。點擊文末超鏈接開始觀看吧~第兩千兩百四十章突圍吧牛蹄巨錘好像只是被什么東西輕輕碰了一下,微微頓了下,便又轟隆隆往無恨殿殿主砸下,而青山則一下子就被撞飛了,然后分崩離析,化為點點青光縮回了還有呢?山里人葛東旭獲葛洪傳承,一路逆襲成超級醫(yī)圣富一代