Tina Dong

2025 年 4 月 30 日 ——AI 領域出現一位超級新星：DeepSeek-Prover-V2-671B。 這款由 DeepSeek 團隊最新推出的超大模型，參數量高達 6710 億（671B），主打自動證明與高階推理能力，一登場就引發科技圈熱議。官方同步上架 HuggingFace，無論是技術規模還是潛在應用層面，都讓人相當期待。 本文會根據目前公開的初步資訊與網路社群的討論內容，整理這款模型的特點與市場反應，提供一個第一手的觀察角度。提醒大家，目前資料仍屬早期階段，實際表現仍需以官方後續釋出的詳細資訊為主。 延伸閱讀：《DeepSeek再推出新模型　專注數學推理開源大語言模型》 技術亮點：結合「規模」與「專精」的深度設計 DeepSeek-Prover-V2-671B 的問世，在多個技術層面展現出其獨特優勢，可說是將大規模架構與針對性應用巧妙結合的代表作。 超大規模參數量 DeepSeek-Prover-V2-671B 搭載高達 6710 億個參數，穩坐目前全球開源 AI 模型的頂規行列。這樣的龐大規模，

Google 推出 Gemini 2.5 Pro 實驗版，具備更進階的推理能力、多模態處理與程式編碼功能。

探索OpenAI最新影像技術，開啟創意生成的新時代。

OpenAI 在 2025 年 4 月推出的 O3 模型，在推理能力、自主工具使用，以及視覺理解等方面展現出顯著進展，堪稱朝通用型人工智慧邁進的一大實用步驟。