KeyFrame內部研究專用

Everyone is talking about Loop Engineering... but no one explains it like this

Simone Rizzo·7月7日週二·31 min英文

三句話摘要

從提示工程到迴圈工程:AI 代理自動化執行任務的新範式演進。 Loop Engineering 將 AI 代理從被動回答工具升級為主動迭代改進的自主系統,讓開發者專注於目標設計而非逐步指揮。 上下文溢出是瓶頸:Context Rot 現象指出當輸入超過 20 萬個 token 時,模型效能急劇下降。Harness Engineering 通過將任務狀態寫入檔案(Memory.md、Agent.md)而非存在上下文中,解決了反覆緊縮上下文的性能損耗。

重點整理

重點
  • 1

    上下文溢出是瓶頸:Context Rot 現象指出當輸入超過 20 萬個 token 時,模型效能急劇下降。Harness Engineering 通過將任務狀態寫入檔案(Memory.md、Agent.md)而非存在上下文中,解決了反覆緊縮上下文的性能損耗。

  • 2

    迴圈嵌套是核心:Loop Engineering 是三層迴圈結構——模型內部迴圈(工具調用)、Harness 迴圈(任務步驟)、以及最外層的自動迴圈(觸發→執行→驗證→下一週期),使代理能在無人干預下持續改進。

  • 3

    目標設定需可驗證:迴圈必須有明確的結束條件,分為五個驗證層級:布林值(編譯成功/否)、規則與指標(網頁載入 <100ms)、延遲驗證(需等待結果才能判定)、LLM 評判(由模型打分)、以及保險絲(最多嘗試次數或時間限制)。

  • 4

    自動化深度工作:Loop Engineering 適合需要長期迭代改進的任務——代碼優化、網頁爬蟲更新、GitHub issue 自動修復、機器學習訓練——讓開發者只需設定一次目標,模型即自主執行所有循環。

實用技巧與重點

乾貨
  • 發展歷程與工具
  • 系統提示規模:Claude Fable 5 系統提示約 25,000 token
  • 上下文視窗限制:前沿模型最多 100 萬 input token,效能下降點在 20 萬 token 以上
  • 文件架構標準:Memory.md、Agent.md、Cloud.md、Dreams.md(夢想日誌)
  • 引用:Boris Cherny(Cloud Code 創造者)、Andrew Carpati(Auto-Research 專案)
  • Loop Engineering 命令語法
  • `/loop [時間間隔] [提示詞]` — 例:`/loop 每天早上9點 從該網站取資訊並更新程式碼並測試`
  • `/goal [目標] [驗證條件] [保險絲]` — 例:`/goal 優化程式碼使網頁載入 <100ms,最多嘗試 100 次或 8 小時內完成`
  • 五層驗證級別
  • 布林值判定:編譯成功(True/False)
  • 規則與指標:數值條件(載入時間、準確率、記憶體消耗、字元數)
  • 延遲驗證:結果需事後觀察(LinkedIn 貼文反應數、客戶滿意度、廣告投資報酬率)
  • LLM 評判:模型自行評分(1-10 或 1-100 等級)
  • 保險絲設定:最多嘗試次數或時間限制,防止無限迴圈
  • 實測案例:矩陣乘法優化
  • 初始效能:2000×3000 矩陣乘法需時 0.04~0.39 秒
  • 優化結果:經 10 次自主迴圈達成 320 倍加速
  • 優化手法:Float64 → Float32 → Float16、啟用 Tensor Core、記憶體加倍
  • 記錄方式:每次修改寫入 Markdown 檔案供追蹤

結論

結論

Loop Engineering 將 AI 代理從被動回答工具升級為主動迭代改進的自主系統,讓開發者專注於目標設計而非逐步指揮。

完整解析

詳細

AI 工程的進化路徑反映了對模型能力與系統設計的深化理解。Prompt Engineering 時代只需撰寫系統提示詞,將指令內嵌於模型的單次對話——但這限制了模型只能依賴訓練資料。Context Engineering 打破了這道牆,引入工具(MCP 協議、檔案操作、網路查詢)讓模型成為真正的代理,能主動讀取資訊充實上下文。

然而隨著工具調用次數增加,上下文視窗迅速飽和。Harness Engineering 認識到這個瓶頸,提出將任務狀態外部化——不再依賴上下文記憶,而是將進度、決策、長期記憶寫入檔案系統,每次對話重啟時重新讀取。OpenAI 的代理架構正是這種思路的實踐:Memory.md 儲存核心知識、按日期命名的日誌檔案記錄每次對話、Dreams.md 追蹤實驗進度。

Loop Engineering 進一步拓展了這個概念——不是單次任務從開始到完成,而是一個持續的迴圈結構。開發者設定明確的目標與驗證條件,模型則自主執行:接收觸發事件(時間排程或事件通知)→ 執行 Harness 任務序列 → 驗證結果是否符合目標 → 若未達成則迴圈重試 → 達成時記錄並待下一次觸發。Boris Cherny 的觀察凸顯了這種範式轉移的意義:工程師不再逐步提示模型「做這個、再做那個」,而是設計迴圈結構,讓模型自行決定每個步驟。

目標設定的可驗證性是成敗關鍵。布林值條件(編譯成功)最簡單但過於剛硬;規則與指標(網頁載入 <100ms)引入了數值判定;延遲驗證承認某些結果需時間才能確認(如社交媒體互動度);LLM 評判則容許模型用打分系統自我評估(如 UI 相似度 0.90);保險絲則防止無限迴圈耗用 token。在矩陣乘法優化的案例中,「速度提升 320 倍」是明確的數值目標,模型循序嘗試型態轉換(Float64 → Float32 → Float16)與核心加速方案,每次改動都記錄在 Markdown 中供審視。這種自主改進的力度遠超手工提示——開發者只需一次性定義目標,模型便可在無人干預下進行深度探索。

關鍵時刻

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