KeyFrame內部研究專用

What if the harness mattered more than the model? - Aditya Bhargava, Etsy

AI Engineer·7月7日週二·32 min英文

三句話摘要

如何透過優化框架(Harness)的設計,讓弱模型達到強模型的性能,而不依賴昂貴的專有模型。 框架設計的好壞決定了代理性能,在弱模型上尤其關鍵;透過語言層級支援(如 Agency)的漸進式框架優化,可讓本地開源模型替代昂貴專有模型。 框架的重要性被嚴重低估。業界普遍認為「模型夠強就不需要複雜框架」,但 HarnessBench 基準測試顯示,在相同模型下改變框架設計能產生超過 20 分點的性能差異,對弱模型的影響尤其明顯。這意味著任何團隊都能透過優化框架來彌補模型的不足。

重點整理

重點
  • 1

    框架的重要性被嚴重低估。業界普遍認為「模型夠強就不需要複雜框架」,但 HarnessBench 基準測試顯示,在相同模型下改變框架設計能產生超過 20 分點的性能差異,對弱模型的影響尤其明顯。這意味著任何團隊都能透過優化框架來彌補模型的不足。

  • 2

    構建優秀框架需要語言層級的支援。Aditya 開發了 Agency 語言來解決現有框架無法達成的目標,提供工具定義、中斷機制、部分函數應用、優化器等原語,讓代理開發既簡單又安全。

  • 3

    框架改進遵循明確的遞進路徑。從工具定義開始,加入安全控制(中斷與處理器),透過部分函數應用實現自動化同時保持安全,引入反饋循環提升推理能力,再利用子代理組織複雜任務,最後透過自我優化系統地改進性能。

實用技巧與重點

乾貨
  • HarnessBench 基準:106 個任務,框架單獨造成的性能差異從 52.4% 到 76.2%(差 23.8 個百分點)
  • Agency 語言特性:
  • 語法受 TypeScript 啟發,混合 Python 語法
  • 每個函數可自動成為工具(無額外配置)
  • 中斷(Interrupts)機制實現暫停/恢復執行
  • 部分函數應用(PFA)限制參數以確保安全
  • 內建 JEPA 優化器用於自動提示詞優化
  • 標準庫工具:read/write、Wikipedia 搜尋等
  • React 模式(Reason-Act-Observe):推理 → 行動 → 觀察結果 → 循環
  • 子代理模式:允許平行調用多個特化代理,減少上下文污染
  • 自我優化流程:建立基線 → 迭代改進 → 測量目標達成度

結論

結論

框架設計的好壞決定了代理性能,在弱模型上尤其關鍵;透過語言層級支援(如 Agency)的漸進式框架優化,可讓本地開源模型替代昂貴專有模型。

完整解析

詳細

Aditya Paragov 是 Etsy 的工程師,專長是演算法與視覺化教學。他的演講從一個核心觀點出發:業界普遍認為「模型夠好就無需複雜框架」這個想法是錯的,甚至帶錯了方向。為何?因為這種思維將我們綁在需要昂貴企業 API 的專有模型上。相反,若框架設計足夠優秀,連本地開源模型也能達到先進模型的性能水準。

過去六個月,Aditya 花時間研究「如何打造優秀框架」,發現現有框架都不夠用,因此他設計了一門新語言 Agency。Agency 的哲學受 Alan Kaye 啟發:「簡單事應該簡單,複雜事應該可能」。他透過一個實例貫穿整場演講:教一個代理修復一個計算中位數的 Python 錯誤。從第一個例子開始,代理只有模型,無法讀取檔案。加入工具後,代理能調用函數,但可能不安全。於是加入「中斷」與「處理器」要求使用者確認,這樣安全但低效。下一步用部分函數應用鎖定參數範圍,讓代理無需人工核准就能安全行動。再來引入反饋迴路:讓代理讀檔、修改、執行測試、觀察結果、再次修改,直到測試通過。這時代理已能自主完成任務。

後期例子涉及更高階概念。子代理模式讓代理委派工作給特化的子代理——如一個修復程式碼的代理、另一個搜尋 Wikipedia 的代理——避免上下文過度膨脹,提升選擇正確工具的一致性。最後是自我優化:标記需要改進的變數(如提示詞),讓 Agency 內建的優化器自動測試與迭代,測量目標達成度,系統性地改進而非猜測試驗。整場演講展示的架構改進階梯清晰:添加工具 → 加入安全機制 → 實現自動化 → 引入推理反饋 → 組織子代理 → 系統優化。

關鍵時刻

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與熱力學的數學等價性:資訊論是兩個領域的共同基礎,生成模型的擴散過程與非平衡統計力學描述資訊損失的過程在數學上完全對應,許多開發出來的方法工具在兩領域都有精確對應的形式。
  • 基礎模型的遷移學習策略:先在廣泛材料資料集上訓練基礎力場表示,再針對特定材料類別進行蒸餾微調,既能保持計算效率也能獲得專一性。