KeyFrame內部研究專用

Agents Building Agents - Alfonso Graziano, Nearform

AI Engineer·6月28日週日·30 min英文

三句話摘要

利用 AI 編碼助手與規格級開發技術,通過自動化循環迭代和用戶反饋系統地改進 AI 代理的可靠性與準確性。 用編碼代理搭建完整的測試與反饋迴路(spec 環境、evals、實際用戶 traces),AI 可以自主且可靠地改進 AI 代理,勝於人工優化。 Golden Dataset 與評估基礎 — 與領域專家共同定義代理在各種輸入情況下的預期輸出,建立基線測試。評估不只是檢查數字正確,還包括代理應該調用哪些工具、工具的調用順序等複雜邏輯,形成非確定性環境下的測試套件。

重點整理

重點
  • 1

    Golden Dataset 與評估基礎 — 與領域專家共同定義代理在各種輸入情況下的預期輸出,建立基線測試。評估不只是檢查數字正確,還包括代理應該調用哪些工具、工具的調用順序等複雜邏輯,形成非確定性環境下的測試套件。

  • 2

    自動化改進循環(Auto Agent) — 編碼代理可自主執行迭代優化:創建假設 → 修改代理代碼 → 執行評估 → 生成報告 → 判斷改進或回滾。實測從 18% 基線準確率改進到 83%(10 次迭代),甚至在已優化的生產代理上發現人類未發現的優化方式,達成 +10% 提升。

  • 3

    從實際用戶反饋改進 — 收集生產環境中真實用戶的使用 traces(包括輸入、工具調用、耗時、 token 消耗),搭配用戶反饋(讚/貶 + 註解)或領域專家的註解,聚類失敗模式,與專家驗證後生成修復提案並實施,將發現的失敗模式納入 golden dataset 防止回歸。

  • 4

    Harness Engineering 理念 — 為編碼代理打造完整的工作環境包括:規格環境(將失敗轉為 spec)、品質門檻(單元測試、評估)、LLM 代碼審查、上下文工程(提供正確資訊)與可觀測性(生產監控)。

實用技巧與重點

乾貨
  • 工具與框架
  • Maestra(代理構建框架)
  • Claude Code(編碼代理)
  • Auto Agent(自動優化循環)
  • Traces 存儲格式:JSON
  • 具體數據
  • 基礎數學代理:基線 18% → 10 迭代後 83%
  • 生產代理優化結果:+10% 準確率提升
  • 真實案例:67% 基線 → 10 迭代後 86%
  • 反饋分析樣本:114 條 traces
  • 流程步驟
  • 創建優化工作(markdown 文件):定義目標、目標倉庫、指標
  • 生成基線:執行一次評估,輸出基線報告
  • 優化循環:分支 → 假設 → 修改代理 → 執行評估 → 報告 → 改進判定 → 保留/回滾
  • 用戶反饋改進:蒐集 traces → 反饋/註解 → 聚類 → 專家驗證 → 修復方案 → 實施 → 生產測試
  • 常見失敗模式
  • 缺失工具(網頁搜尋、取得等)
  • 系統提示不足
  • 上下文檢索不夠
  • Markdown 格式問題、超連結未超連結、格式不一致

結論

結論

用編碼代理搭建完整的測試與反饋迴路(spec 環境、evals、實際用戶 traces),AI 可以自主且可靠地改進 AI 代理,勝於人工優化。

完整解析

詳細

AI 代理雖然強大但面臨幻覺、非確定性、高成本等問題。講者提出的解決方案核心是建立測試與改進機制。首先,需要與領域專家共同構建 golden dataset——定義代理應處理的輸入與預期輸出。在簡單情況下,輸出可能是數字或文本;在實際場景中,輸出常是「代理應調用某工具並傳入特定參數」或「代理應按順序調用多個工具」。基於此 dataset,設計評估器(scorer)計算準確率,建立改進的基線。

編碼代理可自動改進目標代理。以簡單的數學代理為例,初始沒有任何工具,基線準確率僅 18%。講者開發的 auto agent 系統通過循環執行改進:每次迭代創建新分支,生成假設(例如「添加計算器工具」),修改代理代碼,執行評估,並根據指標決定保留或回滾。該系統甚至發現了人類優化者未能找到的改進方式。實測結果顯示,從 67% 的生產代理基線,經約 10 次迭代可達 86%。

改進不僅依靠評估數據,更重要的是生產環境的實際反饋。系統蒐集用戶與代理的互動 traces——包括工具調用、耗時、token 消耗等——並邀請用戶提供反饋(讚/貶加註解)或由領域專家直接註解。當積累足夠反饋後,編碼代理執行聚類分析,識別失敗模式集群。編碼代理可存取代理的完整代碼與 traces 細節,進行根因分析,最後提出修復方案供人工審核與優先順序化。確認修復後,編碼代理實施變更,並將新發現的失敗模式加入 golden dataset 與評估器中,防止未來回歸。

這整套流程得以運作,是因為「harness engineering」——為編碼代理建構完整的工作環境。包括:將失敗轉為規格、建立品質門檻(評估、單元測試、LLM 代碼審查)、提供上下文工程(清楚的指示與約束)、生產環測。編碼代理得以驗證自己的改動、理解反饋並自主改進。

關鍵時刻

Pipeline v2

帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。

事實查核

Pipeline v2

說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。

更多「AI 技術」的內容

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing
編輯精選
83 min
AI 技術英文PODCAST8月26日

🔬“We have foundation models for language, not for physics” — Anima Anandkumar, Bren Professor of Computing

Latent Space

  • 加速傳統物理模擬的典範轉移:氣象科學家原本認為 AI 無法匹敵數十年的物理建模工作,但傅里葉神經算子不僅達到同等精度,還快了一萬多倍。原本需要超級計算機的計算現在用消費級 GPU 就能完成,這改變了整個領域的思維方式。
  • 傅里葉域的非局部現象捕捉:傅里葉域能有效表示非局部現象(如大氣河流跨越千里的影響),且計算複雜度為準線性,遠優於完全連接的全局模型。這特別適合流體動力學、量子化學等自然現象中普遍存在的非局部相互作用。
  • 多解析度連續函數表示:神經算子將輸入輸出視為連續函數而非固定維度向量,可在推論時以任意解析度查詢,並能在更高解析度上疊加物理約束或額外數據,克服了固定解析度神經網路的限制。
Between Two Nerds: Attribution is dead, long live attribution
32 min
AI 技術英文PODCAST8月25日

Between Two Nerds: Attribution is dead, long live attribution

Risky Business

  • 工具成本的破壞性下降 — 傳統上,攻擊者必須重複使用昂貴自製的惡意軟體或工具組,因為開發和維護成本極高。這種成本結構使得安全研究人員可以通過工具特徵和程式碼簽名來追蹤攻擊者。LLM 自動化了代碼生成與維護工作流,使得攻擊者可以輕易為每個目標生成新工具,或改用通用系統工具,導致傳統的工具特徵分析失效。
  • 所有取證證據都在攻擊者掌控之中 — 無論是使用的 IP 位址、惡意軟體類型或戰術流程,這些都是攻擊者的主動選擇。即使看似是隨機巧合,攻擊者仍有能力在事前決定留下什麼痕跡。因此,所有可恢復的取證證據本質上都是攻擊者願意暴露的信息。
  • LLM 削弱工具簽名但保留高階行為特徵 — LLM 經過公開駭客技術訓練,使不同使用者產生相似的攻擊模式。然而,勒索軟體集團、國家級行為者的受害者選擇、贖金要求方式或目標模式等高階特徵仍具有識別價值。例如,鎖定加密交易所的攻擊幾乎只能指向朝鮮。
Why the Next AI Breakthrough May Come from Physics with Max Welling - #774
55 min
AI 技術英文PODCAST8月25日

Why the Next AI Breakthrough May Come from Physics with Max Welling - #774

TWIML AI

  • 多層篩選的材料設計流程:先搜尋文獻資料庫找現有材料,若無合適的就用生成模型產生數十萬個候選分子,用機器學習力場進行分子動力學模擬篩選,再進行實驗驗證。這套流程相比傳統量子力學計算能加速效率數個數量級。
  • 生成AI與熱力學的數學等價性:資訊論是兩個領域的共同基礎,生成模型的擴散過程與非平衡統計力學描述資訊損失的過程在數學上完全對應,許多開發出來的方法工具在兩領域都有精確對應的形式。
  • 基礎模型的遷移學習策略:先在廣泛材料資料集上訓練基礎力場表示,再針對特定材料類別進行蒸餾微調,既能保持計算效率也能獲得專一性。