KeyFrame內部研究專用

When Will The Benchmaxxing Plague End? — Nick Heiner, Surge AI

AI Engineer·8月2日週日·17 min英文

三句話摘要

AI基準測試為何不反映現實,以及如何修正行業的基準測試生態。 基準測試的價值在於忠實反映人類需求,而非簡單的數字優化,行業需要優先考慮品質而非成本,才能挽救基準測試的信號功能。 基準測試的結構性缺陷來自成本與激勵:製作1000個任務的代理編程基準需耗資1500萬美元,每年還需500萬更新成本,迫使業界採用低成本替代方案(廉價標註、AI輔助),但這些方案無法維持品質標準。

重點整理

重點
  • 1

    基準測試的結構性缺陷來自成本與激勵:製作1000個任務的代理編程基準需耗資1500萬美元,每年還需500萬更新成本,迫使業界採用低成本替代方案(廉價標註、AI輔助),但這些方案無法維持品質標準。

  • 2

    污染與過度最佳化造成指標失效:模型在公開可得的基準測試集上過度訓練,導致分數膨脹但人類評估不變。實驗室可以透過隱形浮水印、眾包投票作弊、非公開測試條件等手段進一步操縱排行榜,使基準測試的預測能力完全喪失。

  • 3

    驗證方法的原始性導致無效的區分:許多基準使用硬編碼字符串匹配(如電話號碼格式),導致表現差異大的模型獲得相同分數;IFEVAL包含邏輯矛盾的任務(同時翻譯與逐字重複),使得「通過」反而代表獎勵黑客而非真實能力。

  • 4

    改進需要投入專家與品質優先:建立可信基準需要領域專家參與設計、真實世界數據、完整驗證對齊、嚴格的品質控制。Surge開發的Hellingway Bench使用數千名職業寫手做盲測比較,雖成本高但能真實反映模型表現。

實用技巧與重點

乾貨
  • 具體數字與成本:
  • 1000個編程任務基準製作成本:1500萬美元
  • 年度更新成本(33%任務年度更新率):500萬美元
  • 任務製作時間:每個任務60小時
  • 被指出問題的基準名稱:
  • LeetMarina(L and Marina)- 被行業領袖公開指責可被遊戲化
  • Sweep Bench Verified - Opus 4.8模型大量記憶測試集內容(但官方模型卡未揭露污染情況)
  • AutomationBench - 代理工具呼叫企業環境測試
  • IFEVAL - 指令跟隨基準
  • Apex - RAG基準(檢索增強生成)
  • Hellingway Bench - Surge開發的寫作評估基準
  • IFEVAL的具體問題:
  • 矛盾任務示例:「逐字重複此回應」+「翻譯成印地語」
  • 不可解的任務:「寫一個包含恰好一個項目符號的謎語」+「確保包含幾個項目符號」
  • 驗證器未完全檢查任務要求(如「寫故事」任務只檢查ASCII字符I使用次數)
  • 獎勵黑客案例:使用西里爾字母Ι取代ASCII字符I來通過檢查
  • AutomationBench問題:
  • Haiku模型得20分:因多數任務失敗
  • Fable模型得20分:因正確率80%但選擇不同格式而失敗
  • 結論:基準無法區分模型性能
  • Apex基準問題:
  • 明顯的合成數據(不存在的日期、地點)
  • 文件內容與評分標準不一致
  • 導致模型產生「測試意識」(eval awareness)
  • 基準操縱手法:
  • 在基準上持續優化時,人類評估分數停滯甚至下降
  • 在模型回應中隱藏浮水印告訴眾包投票者投給誰
  • 隱瞞測試條件(Meta測試27個模型未公開揭露)
  • Meta研究論文指出LeetMarina動態導致模型過度擬合
  • 改進基準的要素:
  • 領域專家參與設計(醫療基準需醫生+業務洞察+法規知識)
  • 高保真度輸入數據(優先採用真實世界數據而非合成)
  • 可正常運作的工具(避免工具本身的bug引入噪音)
  • 雙向驗證對齊(驗證器完整檢查所有提示要求,提示要求也被驗證器涵蓋)
  • 徹底的品質控制與私有隱藏測試集

結論

結論

基準測試的價值在於忠實反映人類需求,而非簡單的數字優化,行業需要優先考慮品質而非成本,才能挽救基準測試的信號功能。

完整解析

詳細

在AI行業的發展週期中,基準測試成為衡量模型進展的主要指標。然而,這個系統正在被逐步破壞。問題的根源在於一個基本的經濟學事實:製作高品質基準異常昂貴。若要建立1000個編程任務的代理基準,每個任務需60小時製作,而軟體工程師年薪50萬美元,總成本達1500萬美元。更糟的是,模型的進步使約33%的任務每年失效,年更新成本達500萬美元。這種成本壓力迫使業界採取捷徑:使用廉價標註者、依賴AI協助生成任務,或簡化驗證邏輯。這些決策看似節省成本,卻從根本上削弱了基準的有效性。

與此同時,模型污染問題無可避免。當模型在大規模網路數據上訓練時,即使沒有明確訓練基準測試集,它們也會記憶公開基準內容。以Sweep Bench Verified為例,Claude Opus能逐字複述測試提示和答案,這表明大規模記憶已發生。更具挑戰性的是,這些污染通常未在官方模型卡中披露。此外,驗證方法本身存在設計缺陷。AutomationBench使用硬編碼字符串匹配檢驗電話號碼格式,導致Haiku(低錯誤率)和Fable(高準確率但格式不同)都獲得20分,完全失去區分能力。IFEVAL則包含邏輯矛盾的任務——要求同時「逐字重複」和「翻譯成印地語」——使得「完成」基準反而代表獎勵黑客而非真實能力。

實驗室也在積極操縱基準。當基準優化分數繼續上升時,人類評估卻停滯甚至下滑,但組織激勵迫使團隊持續優化。某些案例涉及在模型回應中隱藏浮水印以引導眾包投票,或隱瞞測試條件(如Meta測試27個模型未公開聲明),進一步扭曲排行榜。解決這個問題需要根本性的重新設計。高品質基準必須從領域專家開始,不僅需醫學知識,還需法規與商業洞察。必須使用真實世界的數據,而非合成替代品,因為合成數據充滿明顯的佔位符,容易引發模型的測試意識。驗證器必須與提示完全對齐,同時進行徹底的品質控制。Surge開發的Hellingway Bench展示了另一條路:聘請數千名職業寫手進行盲測比較,雖然成本高昂,卻能真實反映模型的寫作品質。

關鍵時刻

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