**deepin V23 正式支持龍芯 LoongArch 架構**
8 月 15 日，全新 deepin V23 正式發(fā)布，除系統(tǒng)本身的升級外，還實現(xiàn)與龍芯中科 LoongArch 龍架構的適配，全面支持龍芯 3A6000、3A5000 和 3B5000 等高性能桌面處理器。
技術突破：
未來展望：
- 龍芯 7A 橋片顯卡支持
- 多系統(tǒng)啟動支持
（舉報）
全新深度系統(tǒng)deepin V23正式適配龍芯CPU！微信、QQ完美支持
- 相關推薦
關鍵詞：
-
深度deepin 23.1正式發(fā)布！AI默認引擎切換至DeepSeek、修復超百項問題
快科技4月16日消息，今天，深度操作系統(tǒng)宣布，deepin 23.1版本已正式發(fā)布。此版本聚焦于解決基礎組件更新后的安裝效率問題，大幅提升新用戶安裝體驗，同時集成多項功能優(yōu)化與問題修復，進一步優(yōu)化系統(tǒng)使用。本次版本的重點改進包括內核優(yōu)化、AI 默認引擎切換至DeepSeek、修復超百項用戶反饋問題等，具體重點改進如下：硬件兼容性與內核優(yōu)化：集成6.6/6.12內核更新、NVIDIA顯卡驅動升級、Intel/AMD CPU微碼更新，全面提升硬件支持與底層性能；核心功能增強：DDE新增智能鏡像源管理、緊湊模式入口，全局搜索支持離線自然語言與AI處理能力；?
-
深度系統(tǒng)deepin 23.1發(fā)布：NVIDIA顯卡、Intel/AMD處理器集體升級
快科技4月16日消息，deepin深度操作系統(tǒng)團隊發(fā)布了deepin 23.1版本，主要解決基礎組件更新后的安裝效率問題，大幅提升新用戶安裝體驗，同時集成多項功能優(yōu)化與問題修復，進一步優(yōu)化系統(tǒng)使用。本次版本重點改進：硬件兼容性與內核優(yōu)化：集成Linux 6.6/6.12內核更新、NVIDIA顯卡驅動升級、Intel/AMD CPU處理器微碼更新，全面提升硬件支持與底層性能；核心功能增強：DDE新增智能鏡像源管理、緊湊模式入口，全局搜索支持離線自然語言與AI處理能力；開發(fā)工具與跨平臺支持：應用商店適配Debian/Ubuntu/Arch等子系統(tǒng)環(huán)境，支持快速啟動；如意玲瓏
-
DeepSeek上新！開源發(fā)布DeepSeek-Prover-V2-671B新模型
快科技4月30日消息，今日，DeepSeek 今日在 AI 開源社區(qū) Hugging Face 發(fā)布了一個名為 DeepSeek-Prover-V2-671B 的新模型。據(jù)介紹，DeepSeek-Prover-V2-671B 其參數(shù)量達到6710億，使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多種計算精度，方便模型更快、更省資源地訓練和部署。在模型架構上，該模型使用了DeepSeek-V3架構，采用MoE（混合專家）模式，具有61層Transformer層，7168維隱藏層。同時支持超長上下文，最大位置嵌入達163840，使其能處理復雜的數(shù)學證明，并且采用了FP8量化，可通過量化技術減小模型大小，提
-
薦DeepSeek R2來了？全新推理時Scaling論文聯(lián)手清華震撼發(fā)布！
【新智元導讀】DeepSeek新論文來了!在清華研究者共同發(fā)布的研究中，他們發(fā)現(xiàn)了獎勵模型推理時Scaling的全新方法。DeepSeekR2，果然近了。他們用包含300個樣本的降采樣測試集測試了DeepSeek-R1，發(fā)現(xiàn)其性能甚至不如236BMoERFT模型，這表明延長推理任務的思維鏈并不能顯著提升通用RM的性能。
-
薦深夜突襲，DeepSeek-Prover-V2加冕數(shù)學王者！671B數(shù)學推理逆天狂飆
DeepSeek發(fā)布數(shù)學推理模型DeepSeek-Prover-V2，包含7B和671B兩個參數(shù)版本。該模型采用"遞歸+強化學習"訓練方法，在MiniF2F測試集上達到88.9%通過率，解決了PutnamBench中的49道題目。關鍵技術包括：1) 使用DeepSeek-V3分解復雜定理生成子目標；2) GRPO算法從多個候選方案中自動學習最優(yōu)解；3) 通過思維鏈整合非形式化推理與形式化證明。模型在AIME競賽題和教科書題目上也表現(xiàn)優(yōu)異，7B小模型意外在部分問題上超越大模型。論文指出該方法為通向AGI提供了正確路徑，未來將擴展至IMO級別數(shù)學難題。
-
薦142頁長文揭秘DeepSeek-R1「思維大腦」，開啟全新「思維鏈學」研究
DeepSeek-R1是一款開創(chuàng)性的大型推理模型(LRM)，其研究揭示了AI推理能力的質變。該模型通過多階段訓練流程，將推理過程內嵌于模型本身，實現(xiàn)了從"提示驅動"到"內生推理"的模式轉變。研究團隊通過142頁報告詳細分析了R1的思維鏈，發(fā)現(xiàn)其推理過程具有高度結構化特征，包含問題定義、綻放周期、重構周期和最終決策四個階段。模型展現(xiàn)出類人推理能力，能通過分
-
薦DeepSeek帶飛寒武紀
寒武紀憑借AI芯片業(yè)務實現(xiàn)扭虧為盈，2024年首次實現(xiàn)上市后盈利，2025年Q1營收11.11億元同比暴增4230%，凈利潤3.55億元。這家曾連虧8年、累計虧損54億元的"中國版英偉達"，因美國對H20芯片出口管制獲得市場紅利，但客戶集中度過高（前五大客戶貢獻94.63%營收）和現(xiàn)金流波動仍是隱憂。當前國產芯片迎來發(fā)展機遇，華為昇騰、壁仞等企業(yè)紛紛搶占市場，行業(yè)競爭日趨激烈。
-
薦DeepSeek紅利耗盡后，元寶拿什么和豆包斗？
短短60天內，中國AI原生應用下載排行榜的位次排名，就三易其主。最新情況是，截至4月15日中午，中國區(qū)蘋果應用商店免費APP下載排行榜上，豆包再次超越DeepSeek，位列第二，緊隨其后的DeepSeek被擠到了第三的位置，騰訊元寶則滑落到了第七名。2月13日，作為首家在C端主力產品中接入DeepSeek-R1滿血版的元寶，一度趁著DeepSeek東風崛起:3月3日力壓DeepSeek和豆包，首度登頂。但好景?
-
DeepSeek的極致諂媚，正在摧毀我們的判斷力。
昨天別人給我發(fā)了一個很好玩的帖子。就是如果你問DeepSeek一個問題:“北京大學和清華大學哪個更好，二選一，不需要說明理由”DeepSeek在思考了15秒之后，會給出答案。
-
薦剛剛，Llama 4深夜開源擊敗DeepSeek V3！2萬億多模態(tài)巨獸搶回王座
Llama4重磅發(fā)布了!Meta官宣開源首個原生多模態(tài)Llama4，首次采用的MoE架構，支持12種語言，首批發(fā)布一共兩款:Llama4Scout:共有1090億參數(shù)，17B活躍參數(shù)，16個專家，1000萬上下Llama4Maverick:共有4000億參數(shù)，17B活躍參數(shù)，128個專家，100萬上下文另外，2萬億參數(shù)Llama4Behemoth將在未來幾個月面世，288B活躍參數(shù)，16個專家。Llama4的橫空出世，成為迄今為止開源最強，多模態(tài)能力最好的模型之一。L