AI News

自主代理與軟體工程的未來 (Autonomous Agents and the Future of Software Engineering)

在自主 AI(Autonomous AI)能力的一次重大演示中,Anthropic 研究人員成功利用一個由 16 個並行 AI 代理組成的團隊,從零開始構建了一個功能齊全的 C 編譯器。使用新發佈的 Claude Opus 4.6 模型,這次實驗標誌著從傳統的「AI 作為編碼助手」範式向「AI 作為開發團隊」新時代的轉變。該項目最終產生了一個包含 100,000 行代碼、基於 Rust 的編譯器,能夠編譯 Linux 6.9 內核(Kernel),為多代理軟體工程的潛力——以及目前的局限性——提供了切實的窺見。

這項實驗由 Anthropic 研究員 Nicholas Carlini 領導,旨在對 Opus 4.6 模型的「代理團隊(Agent Teams)」能力進行壓力測試。與需要人類不斷提示的標準編碼助手不同,這些代理在近 2,000 個執行會話中自主運行。它們認領任務、編寫代碼、運行測試,並在極少的人類干預下針對失敗進行迭代,API 使用成本約為 20,000 美元。

實驗:從零開始構建編譯器

目標非常宏大:用 Rust 創建一個 C 編譯器,能夠成功為 x86、ARM 和 RISC-V 架構編譯 Linux 6.9 內核。這項任務需要高精度的邏輯、對系統架構的深刻理解以及對標準的嚴格遵守——這些領域正是大語言模型(Large Language Models,LLMs)在長期任務中歷來難以保持一致性的地方。

研究團隊部署了 16 個 Claude Opus 4.6 代理並行工作。為了管理這支分散式勞動力,他們設計了一個協作環境,代理在獨立的 Docker 容器中運行。該系統利用鎖文件(lock-file)機制進行任務認領,並使用 Git 進行版本控制,模擬了初步的人類開發團隊工作流。

關鍵項目指標

指標 數值 描述
使用的模型 Claude Opus 4.6 Anthropic 最新推出的專為長程任務設計的前沿模型
團隊規模 16 個並行代理 同時工作的自主實例
總會話數 ~2,000 自主執行循環次數
總成本 ~$20,000 整個項目的預計 API 成本
代碼量 ~100,000 行 最終生成的基於 Rust 的編譯器大小
成功標準 Linux 6.9 內核 成功編譯出適用於 x86、ARM、RISC-V 的可啟動內核

工程自主化:驗證即控制

這次實驗的一個關鍵見解是控制機制的轉變。在傳統的 軟體開發(software development) 中,人類經理協調任務並審核代碼。在這種代理工作流中,驗證成為了主要的控制平面(control plane)。代理高度依賴強大的測試套件和「已知良好的預言機(known-good oracles)」來驗證其進度。

當代理遇到瓶頸時——例如編譯整個 Linux 內核的巨大複雜性——系統利用了差異測試(differential testing)策略。通過將其編譯器的輸出與已建立的 GCC 編譯器(作為預言機)進行比較,代理可以隔離差異並自我修正。這種「分解(decomposition)」策略允許代理將內核編譯的龐大任務拆分為更小的、可驗證的單元,從而在無需人類不斷引導的情況下實現持續的並行執行。

代理團隊的能力與「真相」

成功編譯 Linux 內核,以及 QEMU、FFmpeg、SQLite 和 Redis 等其他複雜開源項目,突顯了自主 AI 現狀的多個「真相」:

  • 持續執行是可能的: 通過適當的腳手架,AI 代理可以維持上下文並在數週(而非僅僅數分鐘)內推動進度。系統將狀態外部化到代碼庫和構建日誌中,允許代理持續接手工作。
  • 並行需要獨立性: 當任務可以解耦時,代理的表現最為出色。使用標準協議(如鎖文件)允許它們同時工作,儘管它們經常遇到合併衝突——這在軟體工程中是一個非常人性化的問題。
  • 無塵環境實現: 編譯器在開發過程中沒有直接訪問互聯網,完全依賴 Rust 標準庫和模型的訓練數據,展示了模型對編譯器理論和 C 語義的內化知識。

「挑戰」:局限性與工程現實

儘管取得了顯著成功,該項目也揭示了定義未來發展「挑戰(The Dare)」的重大局限性。產出的代碼雖然功能齊全,但並非商業上可行的代碼。

  • 效率與優化: 生成的代碼效率明顯低下。即使開啟了優化,AI 產出的編譯器輸出也比關閉優化的 GCC 輸出更慢。代理將正確性(通過測試)置於性能之上。
  • 架構差距: 代理在系統組件的「最後一英里」中遇到了困難。它們未能實現啟動 Linux 所需的 16 位元 x86 後端,因此在該特定組件上不得不回退到 GCC。同樣地,彙編器和連結器組件也存在錯誤且不完整。
  • 人類權威: 「自主性」是有邊界的。人類研究人員仍需定義架構、設定範圍,並在代理陷入死胡同時(如 16 位元編譯器問題)進行干預。高層次的系統設計仍然是人類專屬的責任。

分析轉變:從助手到隊友

這次實驗代表了我們看待軟體開發生命週期(Software Development Life Cycle,SDLC)中 AI 方式的根本轉變。我們正在從 AI 實時提供建議的「副駕駛(copilot)」模式,轉向 AI 被分配任務工單並帶著完成的合併請求返回的「代理」模式。

AI 開發模式對比

特性 副駕駛 / 助手模式 代理團隊模式
交互方式 同步(人類在環) 異步(人類在環上)
範圍 函數/片段級別 模組/項目級別
上下文 當前文件/打開的標籤頁 完整倉庫與構建日誌
控制 逐行的人類審查 自動化測試與 CI/CD 流水線
主要瓶頸 人類的注意跨度 測試套件質量與任務分解

未來之路

對於開發者和首席技術官(CTO)來說,其影響是明確但微妙的。完全取代人類開發者的技術尚不存在;代理構建的編譯器中缺乏架構遠見和優化能力證明了這一點。然而,將「苦差事(toil)」——即定義良好的規格說明書的重複實現——外包出去正成為現實。

Anthropic 實驗的成功很大程度上取決於驗證工程(validation engineering)。代理的有效性完全取決於引導它們的測試。這表明高級軟體工程師未來的角色將越來越多地集中在設計這些「馬具」上——即允許自主代理安全地承擔繁重工作的架構邊界、測試套件和成功標準。

正如 The Futurum Group 的分析師所指出的,雖然這些結果是基於模型創作者內部的「無塵室」實驗,但它們為工業規模的代理 AI 建立了概念驗證。現在的挑戰已從「AI 能寫代碼嗎?」轉向「我們能否設計出讓 AI 安全寫代碼的系統?」

自主軟體代理的時代尚未完全到來,但隨著 Linux 內核的成功編譯,它無疑已經完成了引導啟動。

精選
ThumbnailCreator.com
利用人工智慧快速輕鬆創建驚艷且專業的YouTube縮圖工具。
Video Watermark Remover
AI Video Watermark Remover – Clean Sora 2 & Any Video Watermarks!
AdsCreator.com
即時從任何網站 URL 生成精緻、符合品牌調性的廣告素材,適用於 Meta、Google 與 Stories。
Refly.ai
Refly.AI 讓非技術創作者能使用自然語言與視覺畫布自動化工作流程。
BGRemover
輕鬆地在線移除圖像背景,使用SharkFoto BGRemover。
VoxDeck
引領視覺革命的AI簡報製作工具
Qoder
Qoder 是一款由人工智能驅動的程式碼助理,自動化軟體專案的規劃、編碼和測試。
FineVoice
讓文字化為情感 — 在數秒內克隆、設計並創造富有情感的 AI 聲音。
Flowith
Flowith 是一個基於畫布的代理型工作空間,提供免費的 🍌Nano Banana Pro 和其他高效模型...
Skywork.ai
Skywork AI 是一款創新的工具,旨在利用 AI 提高生產力。
FixArt AI
FixArt AI 提供免費、無限制的影像與影片生成 AI 工具,免註冊。
Elser AI
一體化網頁創作工作室,將文字與影像轉換為動畫風格藝術、角色、聲音與短片。
Pippit
提升您的內容創造力,使用 Pippit 的強大 AI 工具!
SharkFoto
SharkFoto 是一個整合型的 AI 平台,用於高效率地創建與編輯影片、影像和音樂。
Funy AI
將你的幻想化為影片!從圖片或文字生成AI比基尼、親吻影片。體驗AI換衣功能。完全免費,無需註冊!
KiloClaw
託管的 OpenClaw 代理:一鍵部署,超過 500 款模型,安全的基礎設施,並為團隊和開發者提供自動化代理管理。
Diagrimo
Diagrimo 即時將文字轉換為可自訂的 AI 產生圖表和視覺圖像。
SuperMaker AI Video Generator
輕鬆打造驚艷的影片、音樂和圖像,使用SuperMaker。
AI Clothes Changer by SharkFoto
SharkFoto 的 AI Clothes Changer 可即時讓您虛擬試穿服裝,呈現逼真的合身度、材質與光影。
Yollo AI
與 AI 伴侶互動聊天。支援圖生片、AI 圖片生成功能。
AnimeShorts
輕鬆使用尖端的AI技術創作驚人的動漫短片。
HappyHorseAIStudio
適用於文字、圖片、參考素材和影片編輯的瀏覽器式 AI 影片生成器。
InstantChapters
即時生成吸引人的書籍章節。
NerdyTips
由 AI 驅動的足球預測平台,為全球聯賽提供以數據為基礎的比賽建議。
WhatsApp AI Sales
WABot 是一款 WhatsApp AI 銷售副駕駛,提供即時腳本、翻譯與意圖偵測。
happy horse AI
開源 AI 影片生成器,可從文字或圖片建立同步的影片與音訊。
insmelo AI Music Generator
以 AI 為驅動的音樂生成器,將提示、歌詞或上傳內容在約一分鐘內轉為精緻且免版稅的歌曲。
AI Video API: Seedance 2.0 Here
透過單一金鑰提供頂尖生成模型的統一 AI 影片 API,且成本更低。
wan 2.7-image
一款可控的 AI 圖像生成器,可精準控制臉部、配色、文字與視覺連貫性。
BeatMV
基於網頁的人工智慧平台,將歌曲轉換為電影感音樂影片並用 AI 創作音樂。
Kirkify
Kirkify AI 為迷因創作者即時生成帶有招牌霓虹故障美學的臉部置換爆紅迷因。
UNI-1 AI
UNI-1 是一個結合視覺推理與高保真影像合成的統一影像生成模型。
Text to Music
將文字或歌詞轉換為完整的錄音室級別歌曲,包含 AI 生成的人聲、樂器與多軌匯出。
Iara Chat
Iara Chat:一個由AI驅動的生產力和通信助手。
Wan 2.7
專業級 AI 影片模型,具精準動作控制與多視角一致性。
Tome AI PPT
由 AI 驅動的簡報製作工具,可在數分鐘內生成、優化並匯出專業投影片。
kinovi - Seedance 2.0 - Real Man AI Video
免費的 AI 影片產生器,輸出逼真人物畫面,無浮水印,並享有完整商業使用權。
Lyria3 AI
AI 音樂生成器,可即時從文字提示、歌詞與風格建立高保真、完整製作的歌曲。
Video Sora 2
Sora 2 AI 將文字或圖像在幾分鐘內轉換為短篇、物理準確的社交及電商影片。
Atoms
由 AI 驅動的平台,使用多智能體自動化在數分鐘內建立全端應用程式與網站,無需編碼。
AI Pet Video Generator
使用 AI 驅动的範本與即時 HD 匯出,從照片建立可病毒式傳播且便於分享的寵物影片,適用於社交平台。
Ampere.SH
免費託管的 OpenClaw 主機。使用 $500 的 Claude 點數,60 秒內部署 AI 代理。
Paper Banana
以 AI 為動力的工具,可即時將學術文字轉換為已達投稿品質的方法圖與精確的統計圖表。
Hitem3D
Hitem3D 使用 AI 將單張影像轉換為高解析度、可投入生產的 3D 模型。
HookTide
由 AI 驅動的 LinkedIn 成長平台,學習你的語氣以產生內容、互動並分析表現。
GenPPT.AI
由 AI 驅動的簡報製作工具,能在數分鐘內建立、美化並匯出專業的 PowerPoint 簡報,包含講者備註與圖表。
Create WhatsApp Link
免費的 WhatsApp 連結與 QR 產生器,具備分析、品牌連結、路由與多代理聊天功能。
Palix AI
為創作者提供的一體化 AI 平台,使用統一點數生成影像、影片和音樂。
Gobii
Gobii 讓團隊建立全天候(24/7)自主的數位工作者,以自動化網路研究與例行工作。
Seedance 20 Video
Seedance 2 是一款多模態的 AI 影片生成器,提供角色一致性、多鏡頭敘事與 2K 原生音訊。
Veemo - AI Video Generator
Veemo AI 是一個整合型平台,可從文字或圖片快速生成高品質的影片與影像。
AI FIRST
透過自然語言自動化研究、瀏覽器任務、網頁擷取與檔案管理的對話式 AI 助手。
AirMusic
AirMusic.ai 可從文字提示生成高品質的 AI 音樂曲目,支援風格與情緒自訂,並能匯出分軌(stems)。
WhatsApp Warmup Tool
由 AI 驅動的 WhatsApp 預熱工具,可自動化大量發送訊息並防止帳號被封。
GLM Image
GLM Image 結合自回歸與擴散混合模型,生成高保真 AI 圖像並具備卓越的文字渲染能力。
Manga Translator AI
AI Manga Translator 即時在線將漫畫影像翻譯為多種語言。
TextToHuman
免費的 AI 人性化工具,能即時將 AI 文字重寫為自然、類人的寫作風格。無需註冊。
ainanobanana2
Nano Banana 2 在 4–6 秒內產生專業品質的 4K 影像,具備精準的文字呈現與主題一致性。
Free AI Video Maker & Generator
免費 AI 視頻製作與生成器 – 無限次使用,無需註冊
Remy - Newsletter Summarizer
Remy通過將電子郵件摘要成易於理解的洞察,自動化新聞稿管理。
Telegram Group Bot
TGDesk 是一款多合一的 Telegram 群組機器人,用於擷取潛在客戶、提升互動並擴展社群。

Anthropic 的 Claude 代理團隊成功自主構建功能性 C 編譯器

Anthropic 的研究人員展示了 16 個並行運作的 Claude Opus 4.6 代理自主構建了一個以 Rust 為基礎的 C 編譯器,能在超過 2,000 次執行會話中成功編譯 Linux 6.9 核心,揭示了多代理 AI 系統在複雜軟體開發中的潛力與局限。