KeyFrame內部研究專用

Your coding agent doesn't always follow your rules — Talha Sheikh, Checkout.com

AI Engineer·7月8日週三·10 min英文

三句話摘要

AI agent 的真正價值在於驗證層設計,而非模型能力——如何通過確定性檢查確保任務完成品質。 工作重點應從打造完美的代碼轉向打造完善的驗證層,驗證系統才是 AI 時代軟體品質的真正保證。 指令無法替代驗證:即使給予充分的 spec、MCP server、sub agent 和上下文,仍需確定性驗證。能力增加不等於可靠性增加,新模型推出時改善的是能力而非信任度。

重點整理

重點
  • 1

    指令無法替代驗證:即使給予充分的 spec、MCP server、sub agent 和上下文,仍需確定性驗證。能力增加不等於可靠性增加,新模型推出時改善的是能力而非信任度。

  • 2

    驗證層設計的通用性:講者發現每家公司都在各自開發驗證系統(Anthropic、Meta、OpenAI 等),因此驗證應該是語言無關、可共享的模式,適用於各個階段(對話結束時、提交前、multi-agent 工作流、非同步操作)。

  • 3

    成本優化關鍵:強大的驗證層使得可以使用較小的模型(如 Haiku 或開源模型),無需昂貴的 Opus 等前沿模型,通過減少驗證層消耗的時間也能大幅降低成本。

  • 4

    價值轉移:AI 領域的核心價值正在從「能否編寫代碼」轉移到「能否驗證代碼」,整個行業應聚焦於完善驗證系統而非依賴模型智能。

實用技巧與重點

乾貨
  • 工具與產品名稱:Vector V1、Vector harness、Claude hooks
  • 相關模式:Executive Advisor Pattern(Anthropic)、Harness Engineering(OpenAI)、Code Review(Kudo)
  • 驗證運行時機:對話結束時、提交前、multi-agent workflow 中、非同步 agent 操作、LLM 作為評判者
  • 具體案例:測試輸出顯示首次失敗、重試、最終全部通過的迭代過程
  • 成本結構示意:Opus(最昂貴)> Vector + 少量 guardrails(較便宜)> Vector + 多層 guardrails(大幅降低)
  • LinkedIn 聯繫:講者提供,可透過訊息分享 Vector harness

結論

結論

工作重點應從打造完美的代碼轉向打造完善的驗證層,驗證系統才是 AI 時代軟體品質的真正保證。

完整解析

詳細

講者從一個切身的挫折開始說起:他想用 Claude Code 自動化工作,但每次 agent 宣稱任務完成時,實際上總有些小細節遺漏,導致他不得不反覆對 Claude 說「修這裡、修那裡」。他意識到問題的根源:他本人成為了「強制執行層」,每次都要驗證 agent 的輸出是否符合預期。這讓他產生一個想法——能否建立一個自動化、確定性的驗證系統?

於是他開發了 Vector V1,這是一個透過 Claude hooks 運作的驗證工具。當 Claude 完成一個 session 時,hooks 自動呼叫 Vector 來檢查任務是否真的完成。開發者在配置檔中定義所有需要驗證的項目,如果檢查失敗,系統會自動告訴 Claude「這裡失敗了,請再試一次」,直到所有測試通過。

不過講者後來遇到了瓶頸——Anthropic 工程師告訴他,未來的模型會聰慧到不需要這種驗證層。同時 Project Mytos 也聲稱能解決一切問題。這讓他開始思考:新模型的推出真的能取代驗證層嗎?答案是否定的。他發現一個關鍵洞察——模型能力的增加不等於可靠性的增加。無論給多好的指令、最好的 spec、最全的 MCP server,驗證永遠是必需的。

更重要的是,他發現驗證層有個意想不到的副作用:有了堅實的驗證層,即使使用更小、更便宜的模型(如 Haiku 或開源模型),也能確保輸出品質。反過來說,不必非得用最強大的前沿模型——驗證層才是成本最佳化的關鍵。

隨著他不斷分享這個想法,他發現整個行業都在做同樣的事:Anthropic 開發了 Executive Advisor Pattern(一個 agent 幹活,一個 advisor 驗證),OpenAI 構築了 Harness Engineering,Kudo 提供全面的程式碼審查,Meta、Facebook 各自構建驗證系統。這表明驗證層並非個別問題,而是一個通用模式。他意識到,驗證層應該是語言無關的、可共享的,應運行在所有層級上——對話結束、提交前、multi-agent workflow、非同步操作,甚至非確定性的 LLM-as-judge 審查。

最後他得出結論:整個行業的價值轉移已經發生。曾經我們問「AI 能編寫代碼嗎?」,現在真正的問題是「我們能驗證它嗎?」。工程師應該停止優化代碼本身,而是專注於設計驗證系統。

關鍵時刻

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