【太平洋科技快訊】4 月 30 日消息，DeepSeek 在 AI 開源社區(qū) Hugging Face 發(fā)布了其最新數(shù)學(xué)推理模型—— DeepSeek-Prover-V2-671B。該模型參數(shù)量高達(dá) 6710 億，從命名推測(cè)，這可能是對(duì)去年發(fā)布的 Prover-V1.5 模型的重大升級(jí)。
該模型的發(fā)布也可能為 DeepSeek 的 R2 系統(tǒng)鋪路，進(jìn)一步驗(yàn)證其在復(fù)雜推理任務(wù)中的能力。同時(shí)，它也為 AI 在數(shù)學(xué)領(lǐng)域的應(yīng)用提供了新的可能性，例如加速數(shù)學(xué)知識(shí)的發(fā)現(xiàn)和驗(yàn)證。
