跳至主要内容

4 篇文章 含有標籤「史丹佛 CS329A」

檢視所有標籤

史丹佛 CS329A (第10講): SWE-Agents — 軟體工程代理人、CodeMonkeys、KernelBench 與代理人系統介面 (ASI)

· 閱讀時間約 13 分鐘
Jaybee
AI & Robotics Engineer

工業級真實世界的軟體工程現場,與孤立編寫單一函數的演算法測驗或玩具基準有著天壤之別。GitHub 上報告的真實軟體缺陷絕不僅局限於單個檔案,而是深度盤根錯節於數百個模組、複雜的歷史依賴以及數百萬行跨程序的分布式代碼庫中。更為苛刻的是,生產環境中的軟體系統不僅要求在功能邏輯上「正確(Correct)」,更要求在計算效率上「足夠快(Fast)」,並且與底層的物理並行硬體架構「高度對齊(Aligned)」。

從今天開始,我們將正式邁入**史丹佛 CS329A: Self-Improving AI Agents(自我提升型 AI 代理人)**的第三大板塊——Part 3 · Agent Engineering (第10講至第12講)。我們將走出純理論的模型訓練,全方位直面工業級實戰軟體工程的最前線:

「代理人如何深入數百萬詞元的超大型代碼倉庫,自動定位隱蔽的迴歸缺陷,自主編寫可復現的驗證測試腳本,甚至寫出在物理執行速度上超越人類專家標準庫的高性能 GPU 客製化核心?」

本文將聚焦 SWE-Agent Autonomous Coding(軟體工程代理人自主編程) 的技術前沿,全面拆解三大關鍵突破:在 SWE-bench Benchmark GitHub 斬獲頂尖戰績的 CodeMonkeys Automated Refactoring(CodeMonkeys 自動化重構)、結合硬體性能分析器閉環優化的 KernelBench GPU Performance Tuning(KernelBench GPU 性能調優),以及由史丹佛大學提出的 Agent-Computer Interface ACI(代理人-電腦介面 / Agent-System Interface ASI) 架構。

史丹佛 CS329A (第9講): 後訓練的大進化 — 從聊天機器人到自主行動代理人艦隊 (SFT, RLHF, RLVR, Agent RL)

· 閱讀時間約 13 分鐘
Jaybee
AI & Robotics Engineer

一個最初只能預測網際網路文本下一個詞的「機率鸚鵡」(Base Model),究竟是如何演變為能夠聽懂人類複雜指令的對話助手(Chatbot),又進一步蛻變為能夠自主調度終端工具、修改工程代碼、在真實物理與數位環境中解決複雜問題的自主代理人(Agent)的?

今天,我們站在了**史丹佛 CS329A: Self-Improving AI Agents(自我提升型 AI 代理人)**第二大板塊——**Part 2 · Training & Evolution (第6講至第9講)**的收官盛典之上。我們將以 Google DeepMind 資深研究科學家 Melvin Johnson 的宏觀視角,全景式複盤現代人工智慧後訓練(Post-training)波瀾壯闊的演化史:

「後訓練的本質,是一場反饋訊號監督權力的偉大交接:從人類手工示範的『手』,交接到人類主觀打分的『眼』,再交接到客觀確定性的『規則驗證器』,最終徹底交接給數位沙箱物理執行的『真實結果』。」

本文將以 Autonomous Agent Evolution Roadmap(自主代理人演化路線圖) 為主線,全面拆解 Post-Training LLM Evolution(後訓練演化) 的底層邏輯:從 Supervised Fine-Tuning SFT Agent(監督微調) 的天花板,到 RLHF Alignment for Agents(人類對齊強化學習) 的輝煌與古德哈特詛咒,再到由 DeepSeek-R1 引爆的 RLVR(可驗證獎勵強化學習),以及實現 Tool-Grounded Post-Training(工具接地型後訓練) 的 Agent RL 最前沿體系。

史丹佛 CS329A (第8講): 搜尋與深度研究 — 程式空間搜尋 (AlphaCode) 與 Search-o1 的知識空間搜尋

· 閱讀時間約 13 分鐘
Jaybee
AI & Robotics Engineer

在軟體工程與尖端學術研究的現實世界中,專家的真正水準絕不取決於單次靜態死記硬背的能力。即便是業界最頂尖的首席軟體架構師,也無法在敲擊鍵盤的第一遍就寫出數千行完全無缺陷的高並發分散式系統;即便是諾貝爾獎得主,在研究最新的生物標靶藥物結構或跨國稅收法規時,也必須借助外部文獻與嚴謹考證,而無法單憑大腦記憶撰寫論文。

人類智慧的真正泉源在於系統性的探索能力:

「廣泛探索數以百萬計的潛在假設(Search),果斷剪除無效的錯誤分支(Filter),在長邏輯推理遇到知識真空時主動調用外部資料庫進行即時補全(Retrieve),並將碎片化的吵雜觀察嚴密綜合為可驗證的洞察。」

在**史丹佛 CS329A: Self-Improving AI Agents(自我提升型 AI 代理人)**第8講中,我們將深入探討「搜尋(Search)」如何從兩個截然不同卻高度互補的維度實現人工智慧的智慧躍升:

  1. 程式空間搜尋 (Program Space Search): Google DeepMind 的 AlphaCode Competitive Programming(演算法競賽編程) 如何生成百萬候選程式並透過執行時行為特徵分群鎖定正解。
  2. 知識空間搜尋 (Knowledge Space Search): Search-o1 Autonomous Investigation(自主調研) 與 Self-Reflective Search Loops(自我反思檢索循環) 如何在長鏈思維推理(Long CoT)中即時感知知識空白並動態觸發檢索。
  3. 全自主深度研究代理人架構 (Deep Research Workflows): 現代 Information Synthesis Agent(資訊綜合代理人) 如何實現複雜命題的假設分解、多跳遞歸網路爬取、跨源事實交叉驗證與萬字學術報告合成。

史丹佛 CS329A (第7講): 開放式演化 — ADAS、The AI Scientist 與 AlphaEvolve:當代碼化身基因

· 閱讀時間約 14 分鐘
Jaybee
AI & Robotics Engineer

2019年,人工智慧先驅理查·薩頓(Richard Sutton)教授發表了 AI 歷史上最具洞察力的論文之一——《苦澀的教訓》(The Bitter Lesson):

「從70年人工智慧研究中汲取的最深刻教訓是:利用大規模算力的通用方法最終最為有效,並且優勢巨大……人類手工精心構建的演算法,最終無一例外都會被自主學習、搜尋與演化的系統徹底超越。」

電腦視覺領域曾耗費數十年手工設計 SIFT 和 HOG 特徵提取器,但在深度卷積神經網路(CNN)面前一夜之間被顛覆。自然語言處理領域也曾花費多年手工構建語法分析樹與語言學規則,最終被基於自注意力機制的 Transformer 徹底取代。

在**史丹佛 CS329A: Self-Improving AI Agents(自我提升型 AI 代理人)**第7講中,我們直面當今代理人工程中最具衝擊力的核心命題:

「為什麼我們今天依然由人類工程師一行行手寫 ReAct 循環、PRM 驗證器和 LATS 樹搜尋?如果我們把圖靈完備的 Python 代碼視為生命的 DNA,讓元代理人自主設計、評估並演化出超越人類構想的下一代代理人系統,會發生什麼?」

本文將深入探討 Open-Ended Evolution LLM(大語言模型的開放式演化) 前沿,全面解構三大里程碑突破:Automated Design of Agentic Systems ADAS(代理人系統自動設計)、Sakana AI 開啟的 The AI Scientist Sakana 與 Autonomous Machine Learning Discovery(自主機器學習科學發現),以及 Google DeepMind 借助 Self-Referential Code Evolution(自引用代碼演化) 創造的 AlphaEvolve。