KeyFrame內部研究專用

Autonomous Agents for Scientific Tasks - Sina Shahandeh, Radicait

AI Engineer·7月18日週六·19 min英文

三句話摘要

介紹如何通過問題分解與層級結構,提升 AI 編碼智能體在開放式科學任務中的假設生成能力。 透過層級結構化分解問題,融入多模態與協作智能體,能突破 AI 編碼智能體的假設生成瓶頸,大幅提升開放式科學任務的迭代質量。 AI 編碼智能體的飽和瓶頸:標準編碼智能體在開放式科學問題上容易陷入極值,耗盡想法後無法自主提出新假設。相比人類研究者能持續迭代改進,AI 代理主要受限於「研究品味」——即生成有創意假設的能力。

重點整理

重點
  • 1

    AI 編碼智能體的飽和瓶頸:標準編碼智能體在開放式科學問題上容易陷入極值,耗盡想法後無法自主提出新假設。相比人類研究者能持續迭代改進,AI 代理主要受限於「研究品味」——即生成有創意假設的能力。

  • 2

    層級結構化分解的作用:將複雜科學問題明確分解為多層子組件(數據、架構、損失、指標、腳本),使智能體逐層思考而非盲目搜索。這種方法類似於鏈式思維,但應用於問題空間的整體架構,讓代理在每個組件層級上生成多個改進方案。

  • 3

    多模態與協作智能體的強化作用:引入多模態模型(Gemini)進行影像審視品質控制,採用更強推理能力模型(o1 pro)進行假設生成與批判性審視,形成協作式與對抗式的檢驗機制,顯著提升迴圈品質。

  • 4

    當前與未來的瓶頸:眼下最大的限制是多模態模型對科學影像的理解能力不足,無法識別微細的科學特徵;其次是假設強度的改進空間。隨著基礎模型進化與後訓練改進,這類顯式分解技巧的必要性會逐漸降低。

實用技巧與重點

乾貨
  • 案例 1:CT-PET 掃描翻譯
  • 初始模型訓練耗時:2.5 天
  • 架構類型:Encoder-Decoder(GAN 型)
  • 輸入方式:CT 掃描切片作為通道堆疊的 2D 卷積
  • 改進方向:轉換為 3D 卷積
  • 應用:肺部腫瘤檢測(CT 掃描推導 PET 代謝活動)
  • 案例 2:影像配準
  • 問題:不同時間掃描的 CT 和 PET 影像對齐
  • 挑戰:呼吸運動、器官位置變化、掃描儀差異
  • 涉及指標:定量與定性並存,失敗原因多樣
  • 層級結構組件
  • 數據準備
  • 核心架構
  • 訓練損失函數
  • 操作與部署流程
  • 評估指標與證據
  • 執行腳本
  • 使用的 AI 模型與工具
  • 多模態審視:Gemini
  • 假設生成與批判:o1 pro(提供更大的測試時間計算)
  • 工具:Claude Opus CLI、OpenAI API、Peter Steinberger 的 Oracle CLI

結論

結論

透過層級結構化分解問題,融入多模態與協作智能體,能突破 AI 編碼智能體的假設生成瓶頸,大幅提升開放式科學任務的迭代質量。

完整解析

詳細

演講者 Sina Shahandei 從自動研究(Auto Research)的成功與局限開始。編碼智能體在有明確目標的最佳化任務中表現良好,例如 Andrej Karpathy 的經典示例透過智能體定義矩陣並最小化誤差,實現爬山式優化。但當問題變得開放式、時間跨度長(如真實科學研究)時,AI 代理通常會在某階段飽和——它們不再能提出新想法或「有品味的」假設。而優秀的人類研究者卻能持續提出創新方向。

在 Rad-iKate 的實際案例中,科學目標是透過機器學習將 CT 掃描翻譯成 PET 掃描,用於肺癌檢測。初始設計採用 Encoder-Decoder 架構,將 CT 切片視作通道堆疊的 2D 卷積輸入,訓練耗時 2.5 天。標準的編碼智能體無法自主提出激進改變(如 3D 卷積),只會在已知的超參數空間內調整。

演講者的核心解決方案是「層級結構化分解」。他首先要求 AI 明確將整個問題分解為子組件:數據準備、模型架構、訓練損失、評估指標、操作腳本等,並為每個層級生成文檔。然後,在改進迴圈中,系統不再提出單一目標「優化這個過程」,而是說「基於你理解的這個層級結構,為每個組件生成改進想法」。這使得智能體從盲目搜索擴展到有根據的、結構化的改進——從而產生 100 多個不同的解決方案,包括原本不會想到的激進改變。

在影像配準案例中,演講者進一步展示如何在迴圈中融入多個 AI 角色:用 Gemini 進行多模態影像審視(判斷掩膜是否正確應用、掃描是否正確裁剪),用 o1 pro 進行假設生成與批判性評估(「這個改進真的有效嗎?接下來該做什麼?」)。這種協作式和對抗式的設計顯著改進了迴圈品質。

演講者總結了實現完全自主科學研究的關鍵瓶頸:(1) 多模態模型對科學影像的理解遠不足夠,缺乏對細微特徵的識別能力;(2) 假設強度需要改進。隨著更好的基礎模型和後訓練方法發展,顯式的問題分解可能變得不必要,但在當下,層級化分解是有效擴展測試時間計算、推動科學發現迴圈的務實方法。

關鍵時刻

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