← 所有節目科技浪

2024 · EP50 · OpenAI 系列

Llama 3.1 405B 與 Meta 為何免費開源

2024 年 7 月 29 日 · 62 分鐘

▶ 收聽這一集

原標題:EP50 - 祖克柏的大駱馬是最强開源AI,免費送人會不會太佛?

哈利花一個週末讀完 Meta 公開的 Llama 3.1 技術論文,拆解 405B 模型的訓練配方與硬體,最後講 Meta 為什麼把花大錢訓練的模型免費送人。前面另外聊了 SearchGPT。

重點

開源只差閉源兩個月。哈利說 Llama 3.1 405B 的 benchmark 與 GPT-4o、Claude 3.5 Sonnet 在同一等級。Meta 內部的人類評測裡,405B 和 Claude 3.5 Sonnet 幾乎一樣,對 GPT-4o 則是約 20% 贏、30% 輸、50% 平手。他認為開源與閉源的差距縮到了兩個月。

架構沒花招,靠資料量取勝。這代是 Dense 的 Decoder Only Transformer,不是 MoE,主要不同是 128K 的 Tokenizer。預訓練資料從 Llama 2 的 1.8 Trillion 拉到 15 Trillion,加上更嚴格的資料過濾,哈利認為這是表現好的主因之一。

合成資料靠能自動驗證。Post-training 用了大量 AI 生成與 AI 標註的資料。寫程式的資料最好做,因為產出的 code 直接執行就知道對不對,報錯就丟回去重寫。哈利說 AlphaProof 解數學題也是同樣的邏輯。

GPU 只用到 40%。405B 在 16000 個 H100 上訓練,機架之間用乙太網路上的 RDMA,速度 400Gbps。論文裡的 MFU 約 40%,哈利拿這個數字說明 NVIDIA 為什麼吃下訓練市場:換成沒有 NVLink 的 GPU,等資料的時間只會更長。

開源的三個理由。Meta 不靠賣模型賺錢;模型越強,Meta 的產品越好;Meta 不想受制於人。祖克柏在信裡寫了很多點,這三點是哈利自己歸納的。

SearchGPT 讓哈利感慨。他認為這是為了留住 ChatGPT 的付費使用者,跟 AGI 沒關係,OpenAI 離創立初衷越來越遠。

時間軸 點時碼從那一段開始

  1. IG 帳號被盜哈利說 IG 帳號被盜,四小時內搶救回來,但過去的影片全被刪掉,接下來一兩週會安靜地重新上傳。
  2. 本週三件事頻道八成在講 AI,上週改聊比特幣反應不錯。Windows 大當機沒能補進來,這週要講 Llama 3.1、SearchGPT、數學奧林匹亞的兩個 AI。
  3. SearchGPT 的定位概念跟 Perplexity、Google 的 AI Overview 差不多;哈利認為 OpenAI 這次是為搜尋重做一套使用者體驗。哈利自己習慣用 Perplexity。
  4. 離初衷越來越遠這個功能純粹為了賺訂閱收入,對消費者未必是壞事,但哈利覺得 OpenAI 從研究 AGI 變成盈利導向的公司。
  5. Llama 3.1 登場4 月的 Llama 3 有 8B、70B、405B 三種,405B 當時還在訓練。這次正式釋出,Meta 還附了 92 頁論文。
  6. 405B 的表現benchmark 與 GPT-4o、Claude 3.5 Sonnet 同等級。Meta 的人類評測對 Claude 3.5 Sonnet 幾乎平手,對 GPT-4o 20% 贏、30% 輸。8B 和 70B 也贏過同尺寸的模型。
  7. 差距縮到兩個月從 Llama 1 到 3.1,開源和閉源的差距從一兩年縮短。祖克柏說已在訓練 Llama 4,哈利推測會在今年底或明年初完成。
  8. 架構與 Dense不是 MoE,405B 也是一整套權重。哈利說 LLM 都只剩 Decoder,原始 Transformer 論文的圖多了 Encoder 那半。
  9. 授權、蒸餾與取得License 放寬,可以拿 Llama 的輸出訓練別的模型,用 405B 當老師教 8B。用它訓練出來的模型,名字前面要加上 Llama。可到 meta.ai 或 Hugging Face 取得。
  10. 論文講了什麼論文把架構、訓練配方、硬體、安全措施寫得像教科書,哈利說想了解怎麼訓練模型看這篇就夠。他先講 Pre-training 與 Post-training 的分別。
  11. 預訓練資料量資料從 Llama 2 的 1.8 Trillion 增加到 15 Trillion,多了八倍,另外加強資料過濾。
  12. Scaling Law哈利回顧從 GPT-3 到 Chinchilla 的演變,再講 Meta 自己做的實驗:改看下游任務的能力而不是 Loss,資料量超過 Chinchilla 建議值後模型還會變好。
  13. 為什麼做這麼大想拼 Frontier Model 排名,405B 勉強塞得進 8 個 H100 的節點,而且它的任務是產生訓練資料給小模型。
  14. Post-training 與合成資料流程是 SFT 加 DPO 反覆進行,大部分資料由 AI 產生或標註。寫程式的資料可以直接執行驗證,報錯就重寫。
  15. 數學奧賽的 AIAlphaProof 把題目轉成 Lean 語言,能自動判斷對錯,所以可以自己出題自己練。哈利說這類 AI 強在結果好判斷,換成沒有標準答案的問題就不行。
  16. 訓練硬體Llama 3 改在 Meta 的 Production Cluster 訓練,405B 用 16000 個 H100。哈利說沒看過大公司這麼透明地公開 Training Cluster。
  17. 機架內外的連線機架內用 NVLink,機架之間用 Meta 自己的乙太網路 RDMA,不採用 NVIDIA 的整套系統。
  18. MFU 只有 40%GPU 算力有六成在等資料。哈利據此說明 NVIDIA 的市佔,並推測換成 AMD MI300X 可能掉到 10% 或 20%。
  19. 四種平行化與供電同時用四種平行化,還要處理訓練時用電忽高忽低的問題,哈利說一般人與小公司碰不到。
  20. 跳過 safety哈利說他對 red teaming 沒興趣,認為目前 LLM 做得到的壞事 Google 搜尋也做得到,等模型有更進階的能力再專門做一集。
  21. 為什麼開源:賺錢與產品第一點是 Meta 靠廣告賺錢,不靠賣模型。第二點是模型越強產品越好,包括名人 AI 分身、企業客服、Ray-Ban 眼鏡。
  22. 為什麼開源:不受制於人第三點是不想被閉源公司綁住。哈利舉 Apple Tax 與 App Tracking Transparency 影響廣告收益,並提到 Meta 開源資料中心設計的先例。

值得記的話

  • 「我覺得真的太佛了好不好怎麼會有這麼好的事情」

    ▶ 14:27
  • 「但其實 AI 能做得好單純就是因為他們的結果是非常好判斷對錯的」

    ▶ 42:51
  • 「我們從來沒有一間科技巨頭出來這麼透明公開的跟大家說」

    ▶ 45:59
  • 「你現在能靠 LLM 做到的壞事你靠 Google search 都做得到嘛」

    ▶ 53:13
  • 「Meta 的 business model 不是靠 AI 模型賺錢的」

    ▶ 55:31

名詞與人物

Llama 3.1
Meta 的開源模型系列,這次釋出 8B、70B、405B 三種,405B 是有史以來最大的開源模型。
Dense / MoE
Dense 是每個字都用同一套權重計算;MoE 是把多個小模型組起來,每個字只動用其中幾個。Llama 3.1 是前者。
Tokenizer
模型認得的詞彙單位,這次換成 128K 的版本,詞彙量更豐富。
Pre-training / Post-training
前者是餵大量資料建立基本認知,後者用較小的資料集強化特定能力並調整價值觀。
Scaling Law
模型參數與訓練資料量如何調整會影響結果的觀察,哈利強調它是觀察到的現象,不是定律。
Chinchilla
Google 研究者提出的 Scaling Law,主張訓練資料量要跟參數量等比例增加。
蒸餾(Distillation)
用大模型當老師,產生資料訓練小模型。
合成資料(Synthetic data)
由 AI 產生或標註的訓練資料。
MFU
Model Flops Utilization,可想成 GPU 算力的使用率,這次訓練平均約 40%。
RDMA over Converged Ethernet
在乙太網路上實現 RDMA 的技術,讓 GPU 之間不經過 CPU 直接交換記憶體資料。
AlphaProof / AlphaGeometry2
Google DeepMind 在數學奧林匹亞拿到銀牌的兩個 AI。
SearchGPT
OpenAI 宣布推出的 AI 搜尋引擎。

延伸

  • Llama 3 剛出時哈利錄過 EP37,聊 405B 還在訓練與 Tokenizer;RDMA 與機架連線的背景在 EP43 介紹過。
  • 哈利說區塊鏈系列的續集已確定,但要等哪一週沒有大新聞。
  • 他提到 Perplexity 的 CEO Aravind 說過,網站每個小細節都是精心設計的,這是 SearchGPT 值得做獨立 UX 的背景。