DeepSeek
共 28 篇 · 第 2/2 頁
-
開源生態
昇騰 910C 叢集完成 DeepSeek-V4-Pro 1.6 兆參後訓練，制裁壓力下國產算力跨入訓練門檻
深圳河套學院 AI 訓練平台專案團隊聯合哈爾濱工業大學（深圳）、深圳市大資料研究院與華為有關團隊，以華為昇騰 910C 晶片叢集完成 DeepSeek-V4-Pro 全參數後訓練，模型規模 1.6 兆參數。這是全量訓練，不是推理部署或區域性微調。
-
Agent與應用
開源 Agent Swarm 上線：Opus 4.8 規劃、Deepseek 執行，agentic loop 成本砍十倍
一套開源 AI agent swarm 框架正式上線，核心設計是分層模型路由：強模型負責規劃、輕量模型負責執行。與全程使用 Opus 4.8 相比，成本降低十倍，速度提升兩倍，效果相當。
-
Agent與應用
形式化不是吃苦藥，Axiom 對 AGI 路徑的反主流判斷
2025 年，成立僅七個月的 Axiom 在 Putnam 數學競賽解出全部 12 題（限時內完成 8 題），優於頂尖大學生的 110/120 分、DeepSeek 據報的 103/120 分。Putnam 歷屆中位數通常是 0 到 1 分，這份成績單並非不值一提。
-
晶片算力
面壁智慧「開源周」五天攤開端側完整技術棧，DeepSeek 後罕見的系統性亮牌
5 月 25 日至 29 日，面壁智慧聯合 OpenBMB 開源社群以每日一項的節奏，集中發布五個技術成果：1.58-bit 量化訓練模型 BitCPM-CANN、AI 撰寫的訓練框架 ForgeTrain、核心資料集 UltraData、端側小模型 MiniCPM5-1B，以及 agent 作業系統 PilotDeck。