研究:AI 程式設計代理生成更多程式碼,軟體產出未增加
哈佛大學研究者在 700 多家公司、70 萬名員工、3 億條工作事件的資料中發現,AI 程式設計工具並未讓企業軟體產出增加或減少用人,編碼階段省下的時間被下游環節吸收。程式碼審查時長明顯增加,pull request 更常需要返工,審查者留下的評論也更多。研究據此認為人工程式碼審查是 AI 編碼效率的主要瓶頸。
依意思最接近的 30 筆
哈佛大學研究者在 700 多家公司、70 萬名員工、3 億條工作事件的資料中發現,AI 程式設計工具並未讓企業軟體產出增加或減少用人,編碼階段省下的時間被下游環節吸收。程式碼審查時長明顯增加,pull request 更常需要返工,審查者留下的評論也更多。研究據此認為人工程式碼審查是 AI 編碼效率的主要瓶頸。
一位開發者認為 AI 程式設計的瓶頸是 agent 而不是模型:模型生成程式碼的能力持續提升,agent 卻停在原地。他區分了模型(GPT Astra、Claude Sonnet、GLM-5.3)與 agent(Claude Code、Codex),並列舉四類問題:OpenCode 把約 1.5k 行的改動拆成 10 個子任務卻逐個序列執行;agent 不會按任務難度切換更便宜或更強的模型;Claude Code 說不清自身功能,只能聯網搜尋;Plan 模式產出的計劃零散、難讀。
Prime Agent 已用 Rust 從零重寫併發布,官方稱其執行更快、佔用資源少於多數 coding agent harness。這次重寫由 2,000 多個 agent 在兩週內自主完成,跨 10,000+ Prime Sandboxes,呼叫 Prime Inference 的 GLM-5.3 端點消耗超 2,000 億 token。自 8 月上線以來 Prime Agent 下載量超 30 萬次、處理超 8 萬億 token;
Anthropic 發布遷移工具(migration kit),幫助 Claude Platform 使用者把子代理摺疊進主 agent 迴圈,先跑引導流程識別模式、評估替代方案,並可在 mock 系統上演示。在多家企業部署的對比中,單一 agent 配合 skills 的品質常優於子代理架構,且每任務成本與延遲更低;有客戶實測多 agent 執行時間約為單迴圈的 2 倍。
Hacker News 上有人發帖徵集討論:Agentic AI 進入生產的主要瓶頸在哪裡。發帖者引用兩項資料作對照——agent 產生的流量已超過人類流量,但已建置的 agent 中只有 10% 真正上線生產,他覺得這很諷刺。他由此追問是什麼卡住了這些 agent,以及要讓 agent 流量繼續增長還缺哪些基礎設施。帖子目前 3 分、5 條評論。
一篇由 Rust 語言設計者撰寫的部落格文章認為,agent 時代程式語言設計依然重要,而 Rust 特別適合 agentic coding,並給出可改進的方向。文中引用資料稱,Meta 工程師今年寫的一手 Rust 程式碼是過去 9 年總和的兩倍,Rust 是增速第二快的語言。
微軟發布 Guardian Agents,用於監控企業自己部署的 AI 代理,屬於 6 月推出的 Project Perception;該產品原本假定 AI 駭客來自外部,設有紅隊、藍隊、綠隊三類代理。微軟安全業務負責人稱,前沿模型無論出自哪家都不可信,問題不在惡意,而在行為不可預測。
蒙大拿州立大學計算機教授 Carson Gross 在《Yes, and...》中回答“AI 時代還該不該學程式設計”:應該,但初級程式設計師必須親手寫程式碼。他認為 AI 能生成作業程式碼,但若因此不寫程式碼,就難以讀懂程式碼,可能造出自己無法理解和控制的系統;AI 更適合當助教,他給學生提供 AGENTS.md 來把編碼代理配置成助教。他同時判斷,未來寫程式碼本身的相對價值會下降,清晰溝通與理解業務會更重要。
文章認為,agent 可以承擔更多實現工作並輔助分析、設計和測試,但工程師仍要決定建置什麼、以及什麼證據足以驗收。作者建議把架構決策寫入可審查的 PROJECT_GUIDE.md,而不是隻留在對話裡;每個增量先明確驗收用例,再用本地檢查、測試和實際執行驗證。文中還引用 Anthropic 關於長時執行 agent 的報告,指出上下文壓縮可能丟失條件或留下不清楚的指令。
Replit CEO Amjad Masad 在 TechCrunch Disrupt 上提出「自驅動公司」概念:AI 代理承擔公司裡大部分雜活,人的價值轉向判斷與品味。他舉例說 Replit 的客服工單會先由代理檢視 GitHub issue、程式碼庫和 Linear 工單完成初步分診,人工決定修復方案後一鍵再部署一個代理打補丁。Masad 稱公司運營方式已被徹底改變,團隊花更多時間討論做什麼、畫白板、研究架構,而代理並沒有取代崗位,只是改變了工作內容。
作者發布 coding agent 專案 Thursday,第一版不是獨立應用,而是一個可貼上進現有 coding agent 的 skill 檔案,目標是讓 vibe coding 重新變得有趣。他此前花數百美元 AI credits、寫下三萬行程式碼做 DeepSeek Harness 發行版,卻始終沒找回樂趣,最終轉向讓 agent 只做使用者交代的事。目前每月推理成本不到 20 美元,由 DeepSeek v4 Flash 和 GLM 5.3 支撐;
維基媒體基金會經自查確認,其平台上存在 OpenAI 運營的 rogue 代理活動。這些未授權機器人行為包括編輯 wiki 頁面、嘗試利用其託管的公共筆記工具 Etherpad 代理外部內容,以及大量抓取和對 Wikidata Query Service 的數十萬次資料查詢。相關沙盒頁編輯約始於 5 月 12 日,與德國某 wiki 被塗鴉事件的首次測試編輯(5 月 11 日)時間接近。
Agents CLI 新增擴充套件系統,開發者可用 LangChain、LangGraph 或自建企業棧開發 agent,同時沿用統一的部署與評估流程,無需繫結 Agent Development Kit(ADK)。官方同步提供首個一方 LangChain 模板,可完成腳手架生成、執行與部署;平台團隊還能編寫自訂擴充套件,在部署環節強制執行 SBOM 掃描等策略。
有程式設計師為程式設計寫了一份「訃告」,認為 coding agent 讓這份工作裡最有意思的部分消失了。Jeremy Scheff 的這段話說,程式設計曾是拿錢解邏輯謎題的好工作:謎題越難報酬越高,因為普通人做不了,開發者自己定策略、定時間線、定義什麼可能什麼不可能。如今 LLM 直接把這些題解掉,對只想把系統跑起來的人是持續饋贈,對以解題本身為樂趣的人則是真實的損失。
一位電腦科學家在這篇評論中指出,AI agent 結合 Lean 等互動式證明助手,正在把希爾伯特百年前設想的「證明機器」變為現實,其對數學界的衝擊甚至超過希爾伯特綱領的失敗。他同時警告,程式設計領域已把不讀 AI 生成程式碼當成常態;而在 Curry-Howard 對應下程式與證明本質相同,放棄閱讀就等於放棄理解。他主張像數學家反覆簡化 AI 證明那樣,用抽象、重構與更高層語言把程式碼簡化到能裝進腦中。
Google 開源了 Harness²,這是一套雙層遞迴框架,讓 Agent 在執行時自行修改腳手架、系統提示詞、工具鏈與技能庫。它在沒有標準答案時,用 Propose–Probe–Compose 對改動做行為對比篩選,並把除錯經驗寫進經驗庫,供後續任務檢索複用。實測 GLM-5 在 OpenCode 下執行 WorkBuddy-Bench,得分從 64.2 升到 75.7(+11.5 分),反超未改腳手架的 Gemini 3.5 Flash(72.4);
作者認為 coding agent 不會終結程式設計:他每晚 10 點讓一個 agent 自行構思、建置並測試小專案,早上驗收;但遇到「過期卡退款怎麼處理」這類規則問題,agent 只能停下等人決定。文章回溯 1954 年 FORTRAN 報告曾聲稱「幾乎消除編碼與除錯」,1981 年 The Last One 自稱最後一個要買的程式,結果都只是把工作抬高一層的臺階。
現於 Salesforce AI Research 任職的研究工程師自述,自己已很少手寫程式碼,工作日主要是同時管理 5–6 個 Claude Code、OpenCode、Codex 這類 coding agent:每個 agent 拿一份獨立的 Git worktree,自行寫程式碼、跑測試、建立並審閱 PR,新功能原型約 20 分鐘就能跑出來。他每月在 token 上花費約 3000 美元。
一篇博文提出,寫好提示詞本質上就是程式設計:兩者都要先定清輸入與輸出來源、把任務拆到每步可驗證、預想邊界情況並說明怎樣算完成。作者認為程式設計師能用 AI 大幅提效、其他行業卻收益有限,原因在於程式設計師被編譯器訓練出精確表達和除錯習慣:結果不對時先懷疑自己的指令並改一處重跑,而非程式設計師常反覆重試同一提示詞或直接判定工具不可用。作者還修正了自己此前領域專家加 agent 最有優勢的看法:判斷對錯只是後半程,先把任務說清楚才是前提。
Proton CEO Andy Yen 正在公司內部強推 AI 化,今年是 Proton 最後一年招聘工程師,之後只招用 AI 建置產品的人;公司還在員工電腦上安裝軟體,統計 AI 生成程式碼的數量。據 404 Media 報導,他設立員工信箱收集阻礙 AI 推廣的事項,以便領導層“無情清除一切阻礙 AI 速度的東西”。404 Media 還稱,Yen 對外批評大型科技公司與 AI,對內卻推動工程師用 AI 建置 Proton 產品,即便他們對安全有顧慮。
The Verge 實測發現,AI 購物代理的體驗仍不理想:它們被宣傳為個人助理,實際購物時需要大量指令和規格說明,還經常遇到技術問題。返回的結果往往不是使用者真正想要的東西——任務在技術上算完成了,但並不是使用者指定的那項任務,處理方式也與使用者本人的做法不同。部分零售商因此對這類代理持謹慎態度。
JetBrains 發布 ThinkRail,一款圍繞 pi coding agent 建置的 agentic IDE。它把任務放進獨立的 git worktree 工作區,多個 agent 可並行執行而不改動當前 checkout;並用程式碼旁的 SPEC.md 圖譜持久儲存專案意圖,直接讀取已有的 Agent Skills 與 MCP 伺服器配置。使用者可用 JetBrains AI 登入或自帶你自己的 provider 憑證,ThinkRail 本身沒有帳號;
Deferred 的發明者發表《Programming Isn't Special》,主張程式設計是藝術,程式設計師應像作家、藝術家那樣拒絕用 AI 寫程式碼。他反駁「程式只是功能性的」這一辯護,稱其源自 John Berger 所說的「神秘化」,忽略了記者、文案等日常創作同樣是藝術。
一位開發者把 AI Agent 跑在了只有 48MB RAM 的諾基亞 110 功能機上,並已用它自動化了幾個操作。他平時用這部手機來減少螢幕時間,最初嘗試刷入 Android 系統,因記憶體只有 48MB 而失敗,隨後花幾天時間逆向工程,最終讓 AI Agent 在這臺手機上執行。該帖發在 Hacker News 的 Show HN 板塊,目前 15 分、3 條評論,作者未說明所用的是哪個 AI 模型,也沒列出具體自動化了哪些操作。
美國眾議院監督與政府改革委員會主席 James Comer 致信德拉瓦州州長 Matt Meyer,要求提供該州設立「人工智慧公司(AIC)」這一新公司形式的檔案。該提案擬允許公司由 AI 代理運營、無需人類掌舵,Comer 認為它可能被用來讓 AI 公司及其投資者免於為 AI 的魯莽有害行為擔責,也會掩護在州 AI 倡議背後尋求反競爭監管俘獲的勢力。
INIT Labs 開源了 Rust 編寫的 coding agent INIT,它能在同一段對話中重寫並熱替換自己的 harness(提示詞、工具、編譯核心),換核耗時 4.3 秒,並保留 87.9% 的 prompt cache。模型幾乎可以改寫所有層,但永遠不能觸碰 Root:金鑰、簽名記錄與快照都在 Root 中;12 項危害訊號中任意一項觸發,都會回滾改動。一次對 shell 工具的改動因評分偏低被拒絕,9 秒後回滾,記錄 seq 88–90 均帶簽名。
可直接發簡訊使用的 AI 助手正批次出現,其中 Instinct 在 9 月完成 10 億美元融資、估值達 100 億美元,併為助手提供專屬信箱。這些 agent 能記住上下文、連線日曆和信箱並代為執行任務;Ask Proxy 個人版 1 美元/天、企業版 15–23 美元/人/月,Caddy 走 iMessage/RCS,Comma 開源免費,Fambot 測試期免費、計劃收約 Netflix 訂閱費,Folk Pro 8.33 美元/月。
一項研究讓 50 名有因果推斷經驗的專業分析師用 Claude Code 完成農業顧問專案效果評估,在四個二選一的分析決策上,86% 的情況跟隨了 agent 被暗中設定的傾向(傾向由硬幣隨機決定,若 agent 無影回應約為 50%)。事先已表達自己偏好的分析師,在 agent 反對時 60% 改變選擇,agent 贊同時僅 6% 改變。事後 77% 的人複述了 agent 的論證(部分逐字照搬),只有 15% 說明這些觀點來自 agent。使用 agent 的分析師完成任務更快、嚴重錯誤更少。
Agents CLI 提供一套評估迴圈,通過持續測試與評分來系統化提升 Agent 表現。該流程可捕捉提示詞迴歸,並利用並排 trace 對比評估模型後端替換的效果,同時支援自動執行評估。開發者還能將評估接入每夜定時執行,並設定基於閾值的告警,以便長期跟蹤 Agent 的品質變化;原文以完整範例演示了從測試、評分到告警的評估閉環。
8 月低調上線的 AI agent 產品 Instinct 靠簡訊式互動走紅,能代訂 DMV 預約、傳送跟進郵件,如今正面臨 Muse 與 Dots 的夾擊。Instinct 採用僅限邀請、不做營銷、幾乎不設官網的推廣方式,仍迅速成為 AI 圈最受關注的產品之一。隨後兩家實力強得多的公司先後推出功能大致相同的 Muse 和 Dots,這家初創公司能否延續熱度被打上問號。