近日，AI開(kāi)源社區(qū)Hugging Face迎來(lái)了一項(xiàng)新成果——DeepSeek團(tuán)隊(duì)發(fā)布了一款名為DeepSeek-Prover-V2-671B的先進(jìn)模型。這一發(fā)布標(biāo)志著DeepSeek在人工智能領(lǐng)域的又一次重大突破。

DeepSeek-Prover-V2-671B模型采用了創(chuàng)新的safetensors文件格式，極大地提升了存儲(chǔ)和傳輸效率。該模型支持BF16、FP8、F32等多種計(jì)算精度，為用戶提供了更為靈活和高效的訓(xùn)練與部署選項(xiàng)。這些特性使得模型在資源利用和性能表現(xiàn)上均實(shí)現(xiàn)了顯著提升。

從命名規(guī)則推測(cè)，DeepSeek-Prover-V2-671B很可能是去年發(fā)布的數(shù)學(xué)AI模型Prover-V1.5的升級(jí)版。這款新模型的參數(shù)規(guī)模高達(dá)6710億，預(yù)示著其在處理復(fù)雜數(shù)學(xué)問(wèn)題上的能力將得到進(jìn)一步加強(qiáng)。

盡管DeepSeek官方尚未公布該模型的詳細(xì)性能介紹，但這一發(fā)布已經(jīng)引起了業(yè)界的廣泛關(guān)注。用戶們紛紛表示期待能夠深入了解這款新模型的具體表現(xiàn)和應(yīng)用潛力。

對(duì)于關(guān)注AI技術(shù)發(fā)展的用戶來(lái)說(shuō)，DeepSeek-Prover-V2-671B的發(fā)布無(wú)疑是一個(gè)值得期待的亮點(diǎn)。用戶們可以通過(guò)開(kāi)源地址獲取該模型，并探索其在數(shù)學(xué)問(wèn)題解決、算法優(yōu)化等方面的廣泛應(yīng)用前景。