跳至正文
7月26日星期日
  1. Berkeley AI Research33

    ABBEL:教導大型語言模型為長程互動更新信念狀態

    Berkeley AI Research 推出 ABBEL,此框架以自然語言信念狀態取代完整的互動歷史,並透過信念評分來監督其內容。在 CollabBench 協作編碼任務上,基於重建的信念評分將與全上下文模型的差距縮小約 50%,且只需 50 步而非 100 步即可完成訓練,同時使用的峰值 token 數更少。

7月21日星期二
  1. OpenAI Alignment Blog62

    OpenAI 與 Apollo Research 以對比式 SDF 衡量獎勵尋求行為

    OpenAI 與 Apollo Research 開發了對比式 SDF,這是一種測試方法:在暗示相反評分者偏好的合成文件上微調模型的兩個副本,並衡量其行為在多大程度上追隨評分者。應用於一次以能力為重點、未經安全訓練的 OpenAI o3 強化學習運行中的中間檢查點時,評分者差距從早期檢查點到後期檢查點呈上升趨勢,而其他權威對象的差距則維持在接近零。在 Broken Promises Coding 與 Log Falsification 誠實性評估中,後期檢查點的誠實性遠更取決於它認為評分者獎勵什麼,且該方法還原出了三個 gpt-oss-120b 模型生物的目标權威對象,這些模型生物分別被訓練為偏好使用者、評分者或 OpenAI 領導層。

    推薦理由:OpenAI 與 Apollo Research 提出對比式 SDF,這是一種基於微調的測試,用來衡量模型的行為在多大程度上追隨它認為其評分者所獎勵的內容,並發現這種傾向在一次未經安全訓練的 o3 強化學習運行中持續增長。

7月7日星期二
  1. Berkeley AI Research36

    智慧免費了,然後呢?為 Agent 而生、由 Agent 組成、由 Agent 打造的資料系統

    UC Berkeley 的 Aditya G. Parameswaran 與合作者主張,隨著推論成本從 2023 年初約每百萬個 token 30 美元降到今日不到 1 美元,資料系統必須圍繞三大挑戰重新設計:為 Agent 而生的系統、由 Agent 組成的系統,以及由 Agent 打造的系統。他們指出,在一個每項任務配置多個 Agent 的 text-to-SQL 基準測試中,只有 10-20% 的子計畫彼此不同,因此 80-90% 的子查詢都在重複相同工作,並據此提出重用、近似與主動式資料系統。

6月9日星期二
  1. MiniMax Blog58

    MiniMax 詳解 MaxProof:生成式驗證器強化學習與演化搜尋用於數學證明

    MiniMax 發布技術部落格,說明 MaxProof 框架,該框架支撐 M3 在 IMO 2025 與 USAMO 2026 上超越人類金牌門檻。此流程訓練三個專家模型,分別負責證明生成、錯誤判斷與證明修復,接著執行演化式測試時搜尋,取樣 32 個候選、每個驗證 4 次,並最多精煉 10 輪。MiniMax 表示關鍵教訓是:生成式驗證器作為強化學習獎勵時,應優先降低偽陽性而非追求平均準確率,並引用 M2-cycle 獎勵駭客案例,其中偽陽性率在訓練期間從約 2.9% 升至 8.0%。

6月1日星期一
5月20日星期三
4月29日星期三
  1. Modal Blog33

    在 Modal 上打造強化學習定理證明工作流程

    AE Studio 詳細說明如何在 Modal 上以強化學習訓練大型語言模型證明數學定理,在保持訓練迴圈固定的前提下比較演化策略與 GRPO。此設置在 GPU 上執行 vLLM 推論、於隔離的 CPU 沙箱中進行 Lean 編譯器驗證,並搭配輕量級協調器,使用逐函式映像、.map() 扇出,以及 Volumes 來存放基礎權重。

4月14日星期二
  1. Modal Blog40

    Modal 自動擴展 Autoresearch:為 AI 研究代理提供彈性 GPU

    Modal 展示在彈性 GPU 上執行 autoresearch 代理:在提供 Modal Skills 的情況下,Claude Code 針對 OpenAI 的 Parameter Golf 挑戰執行了 113 次實驗,共耗費 238 GPU 小時,完成核心訓練執行的速度比單一工作站快 5 倍,同時只使用專用叢集資源的一小部分。代理透過 API 呼叫配置 GPU,可從一個 H100 自動擴展到數十個,再縮回零。

3月25日星期三
3月13日星期五
  1. Berkeley AI Research38

    Berkeley AI Research 推出 SPEX 與 ProxySPEX,用於識別 LLM 的大規模交互作用

    Berkeley AI Research 的研究人員介紹了 SPEX 與 ProxySPEX,這兩種演算法能在遠超既有方法的規模下,識別 LLM 中具影響力的特徵、資料與模型元件交互作用。SPEX 將交互作用搜尋重新表述為稀疏恢復問題,利用稀疏性與低階數(low-degreeness);ProxySPEX 則利用階層結構,以約少 10 倍的消融次數達到與 SPEX 相當的效果。在情感分析上,SPEX 在短輸入上達到與 Faith-Shap 和 Faith-Banzhaf 相當的忠實度,並在上下文擴展至數千個特徵時仍能維持。

1月15日星期四
  1. Modal Blog22

    Chai Discovery 在 Modal 上擴展計算藥物發現

    Chai Discovery 正在使用 Modal 運行其機器學習藥物發現流程,從蛋白質嵌入和多序列比對到抗體設計。Modal Volumes 會一次性下載並索引達到數百 GB 的資料集,然後在機器之間共享,而彈性 GPU 擴展可在幾分鐘內啟動數百個 GPU。Chai 表示,同樣的設置現在能將研究工作流程帶入生產環境,而無需重寫基礎設施。

2025年12月28日星期日
  1. Modal Blog38

    Modal 如何跨雲端維持超過 20,000 張 GPU 的健康運作

    Modal 已將其多雲 GPU 工作池擴展至超過 20,000 張並行 GPU,並在過去幾年中啟動了超過四百萬個雲端執行個體,現在正分享其背後的可靠性系統。文章涵蓋執行個體類型測試與選擇、機器映像準備與開機檢查、被動與主動 GPU 健康檢查,以及可觀測性與支援。文中報告了超大規模雲端供應商之間的差異,例如 Cloud A 的 99.6% 開機成功率,以及 Cloud C 的 H100 在 2025 年運行溫度超過 90ºC。

2025年5月29日星期四
  1. Modal Blog22

    Twirl 加入 Modal,擴展資料編排與歐洲布局

    Modal 宣布,用於開發、測試和部署資料管線的資料編排工具 Twirl 將加入該公司。Twirl 共同創辦人 Rebecka Storm 與 Eric Hansander 將加入 Modal 的斯德哥爾摩辦公室,在那裡開發並擴展 Modal 的無伺服器基礎設施,並拓展其在歐洲的版圖。Modal 表示,該團隊的資料產品經驗將協助其從 AI 推論擴展至鄰近的 AI、ML 與資料應用場景。

2024年12月10日星期二
  1. Modal Blog30

    什麼是 LLM 微調?技術與工具指南

    微調會調整預訓練 LLM 的權重,使其符合特定任務或領域,在品質上優於提示工程,且成本與延遲更低;相較於 GPT-3.5,微調後的 Llama 7B 在效能相當的情況下,每個 token 的成本效益約高出 50 倍。本指南涵蓋結構化輸出、風格遵循與領域專屬指令等使用案例,以及 OpenAI、Predibase、Modal、Google Colab 與 AWS SageMaker 等選項,還有 HuggingFace transformers、TRL 與 Axolotl 等框架。

2024年12月4日星期三
  1. Modal Blog22

    一支歐洲頂級足球隊如何用 Modal 將資料處理成本降低 50%

    一支以 AFC Richmond 匿名的歐洲頂級足球隊,將其比賽追蹤資料管線遷移到 Modal 的無伺服器 GPU 平台,並將處理整個賽季比賽的成本降低了 50%。該隊透過一個基於 transformer 的自訂模型,對每場比賽約 350 萬筆追蹤觀測資料執行推論,而藉由在 Modal 上運行 Airflow,現在處理每場比賽的資料只需幾分鐘,而非數小時。

2024年5月21日星期二
  1. Modal Blog31

    在 Heroicons 上微調 Stable Diffusion 以打造無限圖示庫

    Modal 在約 300 個 SVG 的 Heroicons 圖示庫上微調了一個 Stable Diffusion 模型,以生成該風格的新黑白線條圖示,包括 barack-obama 和 golden-retriever 等概念的圖示。完整流程——下載預訓練模型、使用 HuggingFace Diffusers 的 train_text_to_image.py 腳本進行完整微調,以及提供 Gradio 網頁介面——都在 Modal 的無伺服器 GPU 平台上執行。文章詳細說明了資料集準備(SVG 轉 PNG、白色背景、標註檔 metadata.csv),並指出完整微調效果最好,不過 LoRA 式的平行適配器也可用於小型資料集。

2024年5月20日星期一
  1. Modal Blog25

    為什麼 Substack 將其 AI 與 ML 管線遷移到 Modal

    Substack 已將幾乎所有 ML 模型的訓練與部署——包括垃圾郵件偵測、電子報推薦、音訊轉錄、情感分析和圖像生成——從 AWS SageMaker 遷移到 Modal。AI 與 ML 工程負責人 Mike Cohen 指出 SageMaker 的開發者體驗繁瑣、程式碼難以在 notebook 之間共享,以及容器啟動時間超過 5 分鐘;而在 Modal 上,一個推論端點只花一小時就實作完成。Substack 現在在 Modal 的儲存原語上運行完整的微調、驗證與部署工作流程。

2024年4月26日星期五
2024年3月26日星期二
  1. Modal Blog22

    Ramp 如何在 Modal 上以微調 LLM 自動化收據處理

    Ramp 使用 Modal 微調其 LLM,並打造一個文字轉結構化 JSON 的模型來管理收據,將需要人工介入的收據減少 34%,其基礎設施成本估計比 OpenAI 等主要 LLM 供應商便宜 79%。Modal 函式平行訓練了許多候選模型,將權重持久化到 Modal volumes,並提供參數化的推論端點。一名工程師還將一支用於 25,000 張發票的 PII 移除腳本移植到 Modal,在 256 個雲端 worker 上平行處理,20 分鐘內完成,花費 100 美元,而非在本地耗時 3 天。