就在所有人都在期待DeepSeek官宣R2大模型之際，公司卻出其不意地在"五一"前夕投下了另一枚技術炸彈。 4月30日，DeepSeek在Hugging Face平臺上悄然開源了其最新模型——DeepSeek-Prover-V2-671B，一個專注於數學定理證明的大語言模型，專門針對形式化數學證明任務進行優化。 DeepSeek-Prover-V2-671B使用了DeepSeek-V3架構，參數...
網頁鏈接免責聲明：投資有風險，本文並非投資建議，以上內容不應被視為任何金融產品的購買或出售要約、建議或邀請，作者或其他用戶的任何相關討論、評論或帖子也不應被視為此類內容。本文僅供一般參考，不考慮您的個人投資目標、財務狀況或需求。TTM對信息的準確性和完整性不承擔任何責任或保證，投資者應自行研究並在投資前尋求專業建議。