KeyFrame內部研究專用

Rethinking Environments for Long-Horizon Work — Rayan Garg, Theta Software

AI Engineer·8月1日週六·21 min中文

三句話摘要

定義和評測 AI 代理完成長期任務的能力標準,以及如何設計有效的評判系統。 評測 AI 代理的長期任務能力需要多維度細緻化的指標體系和評判器設計,而不能依賴單一基準或過度簡化的評分標準。 「長期」是標量度量,定義會隨時間演進。 一年前被認為是長期的任務標準,在今天可能不再算長期。重點不是絕對時間長度,而是相對於模型能力的變化而言。

重點整理

重點
  • 1

    「長期」是標量度量,定義會隨時間演進。 一年前被認為是長期的任務標準,在今天可能不再算長期。重點不是絕對時間長度,而是相對於模型能力的變化而言。

  • 2

    多視角評估模型能力不可或缺。 人類基準(如 Meter 的 16 小時標準)與模型指標(token 消耗、執行步驟、工具調用數)各有盲點,單獨任何一個都無法全面反映真實能力,必須並行考慮。

  • 3

    環境複雜度由三個維度定義:工具協調、狀態變化、模糊性。 順序複雜度(早期決策影響後期結果)比並行複雜度(獨立任務同時進行)更能衡量真實能力。代理需在不完全資訊下執行、探索和適應。

  • 4

    評判器本身必須是代理,能實時訪問環境狀態。 驗證代理的工作不能只看軌跡紀錄,必須像代理一樣查看日誌、資料庫、部署結果等實際環境狀態,但需嚴格限制為讀取權限。

實用技巧與重點

乾貨
  • 衡量指標:
  • Meter 基準:50% 成功率、16 小時人類工作量閾值
  • 人類視角 vs 模型視角(token 數、步驟數、工具調用數)
  • 環境複雜度維度:
  • 工具協調複雜度:Grafana、GitHub、AWS CloudWatch 等外部依賴數量
  • 狀態變化複雜度:並行 vs 順序複雜度
  • 模糊性:啟動時提供的資訊完整度
  • 評判方法:
  • 確定性驗證器 + 評判模型混合
  • 動態評估時間評分標準
  • 部分分數(假設前一步正確再評後續)
  • 品質保證測試:黃金標準、無操作差異、覆蓋度、專家協議
  • 現有基準缺陷:
  • GDP Value 工具台:主要 Excel 財務計算任務
  • Apex Agent:專注投銀(IB)業務
  • 平均人工時間遠低於 16 小時標準,無法算長期任務
  • Apex Agent Pass 57% = 任務約 100% 完成(基準已飽和)
  • 缺少信貸、債務、風險等金融領域工作
  • 獎勵訊號細粒度不足(需 20 主標準 × 10 子標準)
  • 自有數據:
  • 50 個任務樣本,人類平均 15 小時完成
  • 模型在所有金融領域仍面臨巨大挑戰

結論

結論

評測 AI 代理的長期任務能力需要多維度細緻化的指標體系和評判器設計,而不能依賴單一基準或過度簡化的評分標準。

完整解析

詳細

這場演講核心議題是:隨著 AI 代理自主工作時間窗口快速擴大,我們如何定義與評測「長期任務」能力。兩位講者來自 Theta Software,強調「長期」不是絕對概念,而是相對的標量度量。一年前的長期定義可能已不適用,因為模型能力和基準本身都在演進。

衡量模型能力的傳統方式有兩種路徑。第一種是人類基準法——以人類完成任務所需時間作錨點。Meter 基準設定了 16 小時人類工作量作為評測門檻,具體依測試者專業水平、任務設計方法而異。第二種是模型指標法——看 token 消耗、執行步驟、工具調用次數。但這種方法噪音極大,因為不同模型、不同框架的 token 效率差異巨大。關鍵洞察是:這兩個視角都不完整,必須並行考慮才能理解真實能力。

環境複雜度評測涉及三個維度。工具協調複雜度指代理需操作多少外部系統(Grafana 看日誌、GitHub 管 CI/CD、AWS 讀寫資料庫等)。狀態變化複雜度區分並行和順序兩類——並行是多個獨立任務同時處理、狀態變化獨立;順序是早期決策影響後期結果、存在因果鏈。順序複雜度更能衡量真實能力。模糊性維度指啟動時的資訊完整度——人類工作充滿模糊性,代理也應學會在不完全資訊下探索和決策。

最具創新意義的是重新定義評判器角色。傳統做法認為評判器只檢查代理軌跡;新認知是評判器本身必須是完整代理,具備實時訪問環境能力。例子:驗證代理是否修復了部署失敗,必須檢查 GitHub CI 日誌、AWS 日誌、實際部署結果——僅看代理聲稱做了什麼不夠。評判器需讀取權限但不能寫入,避免污染環境。長軌跡需結構化處理——分解成階段、標記關鍵點、補充元數據——使其可查詢可分析,評判器才能定位故障點並驗證。

評分標準本身需嚴格品質保證。方法包括確定性驗證器與評判模型結合、動態評分(給予部分分數、假設前步正確後評後步)。每個評分標準須經黃金標準驗證、無操作差異測試、覆蓋度檢查、專家協議驗證,特別是 AI 參與創建評分標準時。獎勵訊號的細粒度極其重要——粗粒度獎勵難以引導模型學習。

最後,講者批評現有金融基準缺陷。GDP Value 和 Apex Agent 基準的任務平均人工時間遠低於 16 小時,不符合長期任務定義。Apex Agent 的 57% Pass 率實際意指任務約 100% 完成,顯示基準已飽和。涵蓋範圍窄——GDP Value 主要 Excel 任務、Apex Agent 專注投銀業務,缺少信貸、債務、風險等關鍵金融工作。最關鍵的是獎勵訊號不夠細緻,需要 20 個主標準乘以 10 個子標準才能提供足夠學習信號。講者自有測試顯示 50 個任務樣本中人類平均需 15 小時,模型在所有金融領域仍面臨巨大挑戰。

關鍵時刻

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