暴雨信息宣布率先完成DeepSeek Prover v2適配，進一步增強其數理邏輯推理能力。作為首批完成適配的企業級解決方案，暴雨一體機在在線訪問場景下實現了30+ tokens/s的推理解碼性能，同時在離線數據生成方面支持高達3505 tokens/s的解碼吞吐性能，為企業用戶提供了強大的數學推理和定理證明能力。DeepSeek Prover v2作為一款擁有6710億參數的超大規模AI模型，在MiniF2F等多個權威基準測試中展現出卓越性能，標志著人工智能在嚴謹的數學推理領域取得重要突破。

DeepSeek Prover v2 671B是DeepSeek團隊于2025年4月30日發布的一款專注于形式化數學推理和定理證明的超大規模人工智能模型。Prover v2基于DeepSeek V3架構構建并繼承了其高效推理能力。其創新的訓練方法通過將復雜問題分解為子目標并結合強化學習，顯著提升了模型的數學推理能力。DeepSeek Prover v2在MiniF2F測試中達到88.9%的通過率，并在PutnamBench等高難度基準測試中取得突破性進展，解決了PutnamBench中的658個問題中的49個 ，證明了其在形式化數學證明領域的卓越能力。此外，DeepSeek Prover v2作為高質量的數學推理數據生成器，能夠生成高質量的合成數據，并用于DeepSeek R2等后續推理大模型的訓練和微調。

暴雨DeepSeek一體機是暴雨信息推出的面向企業級大模型私有化部署的軟硬件集成解決方案。一體機基于推理服務器，集成EP-AI企業大模型開發平臺，兼容和適配多種深度學習框架和算力芯片。自發布以來，暴雨DeepSeek一體機持續適配支持DeepSeek v3、R1、Prover v2等模型，并結合業界先進的計算方案，迭代優化計算性能。DeepSeek發布Prover v2以來，暴雨一體機在第一時間完成了適配優化，支持在線對話式訪問和離線批量數據生成等多種調用訪問。

針對數學形式化證明短輸入長輸出的特點，暴雨DeepSeek一體機針對模型的解碼能力進行了系統化的性能優化。在在線訪問方面，不使用多token預測的情況下，每用戶最高解碼性能30+tokens/s，和DeepSeek R1的性能相當。而在更重要的使用DeepSeek Prover v2作為高質量的數學推理數據生成器，進行離線數據批量生成方面，暴雨一體機實現了3505 tokens/s的解碼吞吐性能。

DeepSeek Prover v2的發布推動了AI在高度嚴謹的邏輯推理領域的突破，證明了AI在復雜數學問題和定理證明方面的能力。這項技術為實現更可靠、更安全的AI系統奠定了基礎，特別是在形式化驗證和提高AI決策過程可解釋性方面。它能夠賦能科學發現和技術創新，作為數學研究的有力工具，并有助于優化算法設計。最重要的是，這項技術被視為通向更強大的通用人工智能（AGI）的關鍵路徑之一，有望克服當前大語言模型在深層邏輯推理方面的局限性。

暴雨DeepSeek一體機通過軟硬件高度協同的架構設計，能夠幫助企業快速實現AI應用落地，目前已在金融、制造、醫療等領域實現規模化應用。暴雨信息團隊正專注于全方位技術優化，包括計算架構升級、算子性能調優、并行策略改進、框架適配優化和調度管理提升等，通過EP-AI平臺，旨在打造性能卓越、穩定可靠且具有極高性價比的DeepSeek大模型部署方案。

暴雨信息是全球領先的IT基礎設施產品、方案和服務提供商，通過發展新一代以系統為核心的計算架構，打造開放、多元、綠色智算產品和方案。暴雨信息致力于AI計算平臺、資源平臺和算法平臺的研發創新，并通過生態攜手領先伙伴，加速人工智能的創新和應用落地。