DeepSeek Prover V2 671B 發布速報

DeepSeek 團隊推出超大型 AI 模型 DeepSeek-Prover-V2-671B，具備 6710 億參數並聚焦自動定理證明與複雜邏輯推理。本文整理目前公開的技術特點與社群討論，帶你搶先掌握這款潛力模型的最新動態與應用前景。