Gate 新聞訊息，4月24日 — DeepSeek 今天發布了 V4 模型卡，透過對昨日發布的 TileKernels 核心程式庫進行分析所提出的先前架構推測得到了驗證 (4月23日)。根據 Beating 的監測，已確認三個核心組件：mHC (Manifold-Constrained Hyper-Connections) 取代 ByteDance 原本的 HyperConnection，採用 Top-k 專家路由的 MoE 架構，以及 FP4+FP8 混合精度權重儲存。模型卡中未出現被預測的 Engram 條件記憶模組。
模型卡揭示了 TileKernels 未涵蓋的全新組件：混合注意力機制 (CSA + HCA) 推動 V4 的長上下文效率提升，使推理 FLOPs 僅達到 V3.2 在 1M 上下文窗口下的 27%，KV 快取降至 10%。訓練現在使用 Muon 優化器。
此次驗證展示了，生產級的核心程式實作如何在官方規格發布之前揭示底層模型架構。
免責聲明：本頁面資訊可能來自第三方，不代表 Gate 的觀點或意見。頁面顯示的內容僅供參考，不構成任何財務、投資或法律建議。Gate 對資訊的準確性、完整性不作保證，對因使用本資訊而產生的任何損失不承擔責任。虛擬資產投資屬高風險行為，價格波動劇烈，您可能損失全部投資本金。請充分了解相關風險，並根據自身財務狀況和風險承受能力謹慎決策。具體內容詳見
聲明。
相關文章
小米揭露 MiMo-V2-Pro 訓練細節：1T 模型參數，部署數千台 GPU
Gate 新聞訊息，4 月 24 日——小米大型語言模型團隊負責人 羅福立 在一場深入採訪中披露，MiMo-V2-Pro 模型總計擁有 1 兆（trillion）參數，訓練過程需要數千台 GPU。她指出，1T 規模代表達成性能接近 Claude Opus 4.6 等級所需的最低門檻，並取得下一階段 AI 代理的競爭性入場票。
GateNews7分鐘前
DeepSeek V4 在 Putnam-2025 取得滿分，並列與 Axiom 第一名（正式數學推理）
Gate 新聞訊息，4月24日——DeepSeek V4 已發布來自正式數學推理評估的結果，在 Putnam-2025 中取得滿分 120/120，與 Axiom 並列第一名。
在使用 LeanExplore 與受約束取樣的實務模式下，V4-Flash-Max 在
GateNews15分鐘前
用什麼 AI 最顯身份地位？研究曝 Claude 用戶收入遠超同業，Meta AI 墊底
Epoch AI 的調查顯示，Claude 用戶多為高收入族群，80%年收超過10萬美元；Meta AI 收入分布最廣，36.5%在10萬以上，低收入佔比最高；Claude 價格上漲且分層計費，成本可能提高，Meta 入門較易。未來用哪款 AI 可能成為隱性身份標籤。
鏈新聞abmedia20分鐘前
V4-Pro 在內部自我測試中達到 67% 程式通過率，接近 Opus 4.5 的效能
Gate News 消息，4 月 24 日 — V4 已公開披露其 V4-Pro 模型的內部自我測試（dogfooding）數據。該公司從超過 50 位工程師收集了約 200 項真實世界的工程任務，涵蓋功能開發、錯誤修復、重構以及跨技術棧的診斷，包括
GateNews35分鐘前
英國著眼 Anthropic AI 以強化銀行業網路安全
英國正透過與 AI 公司 Anthropic 合作，探索金融資安領域的一項重大舉措。早期討論顯示，政府可能會將 Anthropic 的先進 Claude Mythos 模型部署於各銀行與金融機構。此舉旨在加強防禦，因為網路威脅
CryptoMeter io39分鐘前
中國的知識產權局將AI、半導體與腦機介面納入加速保護計畫
閘道新聞訊息，4月24日——中國國家知識產權局於4月24日宣布，將透過制度改革、強化服務與擴大應用，為新興技術建立全面的知識產權保護。該局將
GateNews46分鐘前
