事件總覽:當AI工具讓工程團隊的程式碼產出量與Pull Request規模雙雙飆升,事故通報卻也跟著悄悄抬頭——軟體開發最昂貴的環節,已經從「寫程式」變成「驗證程式」,而多數組織的審查機制,顯然還沒跟上這條曲線。
📅 2024年初:速度數字亮眼,事故通報卻同步攀升
CodeROI技術長Anna Meadows最近在《富比士》拋出一個讓不少工程主管背後冒冷汗的觀察:導入AI程式助理的團隊,速度圖表漂亮得不得了,PR(Pull Request)數量和改動規模同步放大,但事故通報的趨勢線,也跟著一起往上走。
問題不在工具本身——這點Meadows說得很清楚。真正的麻煩是「瓶頸轉移了,組織卻沒跟上」。過去四十年,軟體工程最燒錢的環節是「寫出那幾行程式碼」;現在,最昂貴的反而是「判斷這堆AI生成的程式到底能不能用、安不安全、值不值得維護五年」。
這道工序叫驗證(verification),但在多數企業的開發流程裡,它還是被當作「有空再做」的附加項目。有趣的是,當AI讓進入審查階段的程式量倍增,審查的人力卻文風不動,審查者只剩下三條路:略讀、按核准、然後祈禱那個綠色勾勾是真的。
📅 2024年中:研究揭曉殘酷數字——錯誤率高41%
一份針對約800名開發者的研究在這時候引起了廣泛討論:使用AI程式助理的工程師,產出的程式錯誤率比沒用的人高出41%,而且整體開發效率並沒有顯著提升。
這個數據讓很多人倒抽一口氣。說真的,我們原本預期AI會讓bug變少,結果剛好相反。Meadows給了一個很精準的解釋:AI寫程式的失敗方式和人類完全不同——人類工程師犯的錯通常很明顯,像是少一個括號、變數名稱打錯、邏輯漏洞一看就很業餘;但AI產出的程式碼總是自信滿滿、格式工整、結構完整,甚至還會附上註解,看起來就像資深工程師的手筆。
然後,那些細微的商業邏輯偏差就這樣滑進production了。一般的linter(程式檢查工具)根本抓不到這種層級的錯誤,因為語法完全正確、風格毫無瑕疵,但做的事情就是不對。
📅 2024年下半年:當審查變成形式,成本只是「延後支付」
這直接導致了一個危險的轉折:程式審查正在從品質把關變成形式驗收。審查者面對源源不絕的PR,在時間壓力下只能略讀重點、確認CI(持續整合)綠燈、然後按下核准鈕。
Meadows用一個很犀利的比喻來形容這種狀態:審查淪為形式的時候,成本並沒有消失,只是「延後支付」——最後會以事故、重工、以及一堆沒人敢動的程式碼利息一次炸回來。
她提出了三個具體的止血方案,我認為這才是真正有價值的部分,不只是在抱怨問題:
- 第一,把信任從「閱讀」轉為「檢查」。用類型系統、合約測試、屬性測試、靜態分析這些確定性關卡來承擔前幾輪把關,人類審查者應該是最後一道防線,而不是唯一一道。這不是偷懶,是戰略性分配腦力。
- 第二,讓測試成為規格。工程師事先寫好或核可的測試套件,才是人類意圖的真正載體。換句話說,與其看完AI寫的程式再來挑毛病,不如先定義「什麼叫做得對」,讓AI跑給測試追。
- 第三,把審查當稀缺資源分級。相依套件升版和計費邏輯變更,不該走同一條審查通道。風險不同、影響範圍不同,審查的深度和時間就該不同,這不是特權,是風險管理常識。
編輯觀點:這篇文章最讓我在意的不只是41%錯誤率那個數字,而是Meadows點出的一個更深層矛盾:我們用AI加速了「產出」,卻用同一套舊方法處理「判斷」,等於把高速公路的速限提高三倍,但交流道的閘門還是只有一個。從產業面來看,接下來兩年會出現一個明顯的斷層——「驗證工程師」這個角色會從冷門變成剛需,甚至可能獨立成一個新的職務類別。對一般企業來說,與其急著導入更多AI寫碼工具,不如先花時間把驗證路徑畫清楚。因為寫得快不是優勢,寫得快又不出事才是。
📅 2025年初:問責歸屬與程式來源履歷的浮現
另一個問題其實更棘手,而且它不在技術層面,在組織層面:AI寫的程式,出了事誰負責?
Meadows的答案很乾脆——「應該由按下合併按鈕的那個人負責」。但前提是,流程必須留下完整紀錄:哪些程式是AI生成的、哪些經過人工修改、通過了哪些檢查、最後由誰拍板定案。
問題是,多數公司的工程脈絡目前還散落在Slack聊天串和個人記憶裡,幾個禮拜後就無從追蹤。她提醒,這已經不只是工程團隊的內部議題了——程式來源履歷正從工程問題升級為法規與財務問題。監管機關、保險業者、併購盡職調查、甚至稅務單位,都開始要求企業對軟體資產的產生過程提出舉證。
試想一個場景:你的公司被併購,對方團隊打開你的程式庫,發現裡面有大量無法追溯來源的程式碼,而且沒有人說得清楚當初是怎麼審查的。你覺得這筆交易會順利往下走嗎?
至今影響與未來展望
回頭看這一整年,AI寫程式的技術已經不是問題了——它確實很快、很會寫、很符合規格。但就像Meadows在文末那句話說的:「生產問題已解決,驗證還沒有。」
無法被信任的速度,不是速度,是延後引爆的風險。這句話值得每個正在導入AI開發工具的團隊貼在牆上。
接下來,我預期會有兩個明確的發展:第一,「驗證即程式碼」(Verification-as-Code)會成為新的開發紀律,測試、型別檢查、政策驗證會從輔助工具變成必要基礎設施。第二,組織會開始把審查時間和風險層級綁定,高風險變更的審查流程會獨立出來,不再跟低風險改動擠在同一條產線上。
如果你的團隊也正在享受AI帶來的產能紅利,我誠心建議你花一個下午,打開最近一個月的PR紀錄,看看審查意見的深度是變多了還是變少了。那條曲線,可能比你的速度圖表更值得關注。
本文改寫整理自公開新聞來源,原始報導由科技新報發布。
常見問題 FAQ
AI寫程式的錯誤率真的比人類高出41%嗎?
是的,這是針對約800名開發者的研究數據,使用AI程式助理的工程師產出錯誤率確實比未使用者高出41%,且整體效率沒有明顯提升。
程式審查為什麼會變成形式化的流程?
因為AI讓進入審查的程式碼數量倍增,但審查人力沒有相應增加,審查者在時間壓力下只能略讀、確認自動檢查通過後就核准,導致把關功能失效。
AI生成的程式出問題時,法律責任歸屬誰?
實務上應由按下合併按鈕的審查者負責,前提是組織有完整記錄AI生成內容、人工修改歷程與審查決策過程,否則在法規與併購場景中將面臨舉證困難。
※ 此篇文章由 AI 改寫或生成,內容僅供參考,可能存在錯誤或不準確之處。