-
DeepSeek-Prover-V2：DeepSeek最新開源的數學定理證明模型，參數量高達6710億
DeepSeek-Prover-V2 是由 DeepSeek 最新開源的超大規模數學定理證明模型，參數量高達 6710 億（671B），相比前代 Prover-V1.5（約 7B）提升近百倍，成為目前開源中最大規模的數學推理模型之一。該模型專為形式化數學證明設計，能夠生成兼容 Lean 4 等主流證明助手的高質量證明步驟，支持復雜邏輯驗證、定理發現與教學應用。- 1.4k
- 0
-
清華大學：DeepSeek+DeepResearch讓科研像聊天一樣簡單
今天分享的是清華大學團隊出品的《DeepSeek+DeepResearch：讓科研像聊天一樣簡單》，通過使用DeepSeek R1和DeepResearch，簡化這一過程，讓科研變得更加高效和便捷。- 3.2k
- 0
-
企業微信接入DeepSeek，開啟智能化辦公新紀元
2025年2月21日，企業微信宣布正式接入DeepSeek R1，并同步支持騰訊混元大模型。此次更新帶來了多項基于AI的功能升級，包括“智能機器人”和“智能表格-客戶跟進總結”，旨在大幅提升企業內部協作和客戶服務的效率。- 1.5k
- 0
-
-
-
扣子智能體新增支持DeepSeek R1/V3模型，支持用戶免費體驗
近日，新一代AI應用搭建平臺“coze扣子”宣布正式支持DeepSeek的R1模型和V3模型，并向所有用戶開放免費體驗。扣子平臺專注于幫助用戶快速搭建基于大模型的各類Bot，并將其發布到社交平臺、通訊軟件或網站等渠道。 →立即免費使用：https://www.coze.cn 此次新增的DeepSeek R1模型具備強大的思維鏈深度思考功能，能夠在生成最終回復前進行邏輯推理。該模型基于混合專家（Mo…- 12.3k
- 0
-
DeepSeek 官方提示詞庫
DeepSeek 提示詞庫是 DeepSeek 提供的一套提示詞示例庫，幫助用戶更高效地與 AI 進行交互。它涵蓋多個應用場景，包括代碼處理、文本生成、內容分類、翻譯等，用戶可以根據需求選擇合適的提示詞來優化 AI 任務執行效果。- 40k
- 0
-
硅基流動首發上線DeepSeek-V3/R1：聯手華為云、DeepSeek打造
2月2日消息，硅基流動宣布大模型云服務平臺SiliconCloud首發上線基于華為云昇騰云服務的DeepSeek-V3、DeepSeek-R1。- 10.3k
- 0
-
DeepSeek-R1-Lite預覽版模型：深度求索推出的新一代AI推理模型
DeepSeek-R1-Lite 預覽版模型是由 DeepSeek 推出的新一代推理模型，采用強化學習訓練，具備長思維鏈推理能力，適用于數學、編程和復雜邏輯推理。模型在數學競賽和編程任務中表現卓越，超越 GPT-4o 等知名模型。用戶可通過網頁版在“深度思考”模式中體驗全面、嚴謹的推理過程，未來正式版將開源并提供 API 支持，進一步釋放模型潛力。- 13.4k
- 0
-
DeepSeek-V2.5：深度求索推出的融合通用與代碼能力的開源模型
DeepSeek-V2.5是由杭州深度求索推出的融合了通用對話能力和強大代碼處理能力的開源AI模型。它結合了DeepSeek-Chat和DeepSeek-Coder模型，支持通用任務和代碼生成，同時優化了用戶體驗。- 14.6k
- 0
-
-
DeepSeek-深度求索推出的AI智能助手
DeepSeek Chat是一個由深度求索公司開發的AI智能助手。DeepSeek Chat基于DeepSeek大語言模型開發，可以進行自然語言處理和文本生成，回答各種問題，提供信息查詢、對話交流、知識問答等服務。- 691.4k
- 0
