DeepSeek的含金量還在上升，一個半個周末過去發(fā)生這些大事:國家超算互聯(lián)網(wǎng)平臺上線DeepSeek-R1，最高支持671B的滿血版。平頭哥玄鐵芯片成功適配DeepSeek-R1系列蒸餾模型，在RISC-V架構(gòu)CPU和端側(cè)平臺打開新的應(yīng)用空間。再加上春節(jié)期間的三大運營商全面接入DeepSeek等消息，它的影響
......
本文由站長之家合作伙伴自媒體作者“量子位公眾號”授權(quán)發(fā)布于站長之家平臺，本平臺僅提供信息索引服務(wù)。由于內(nèi)容發(fā)布時間超過平臺更新維護時間，為了保證文章信息的及時性，內(nèi)容觀點的準(zhǔn)確性，平臺將不提供完全的內(nèi)容展現(xiàn)，本頁面內(nèi)容僅為平臺搜索索引使用。需閱讀完整內(nèi)容的用戶，請查看原文，獲取內(nèi)容詳情。
（舉報）
快科技4月30日消息，今日，DeepSeek 今日在 AI 開源社區(qū) Hugging Face 發(fā)布了一個名為 DeepSeek-Prover-V2-671B 的新模型。據(jù)介紹，DeepSeek-Prover-V2-671B 其參數(shù)量達到6710億，使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多種計算精度，方便模型更快、更省資源地訓(xùn)練和部署。在模型架構(gòu)上，該模型使用了DeepSeek-V3架構(gòu)，采用MoE（混合專家）模式，具有61層Transformer層，7168維隱藏層。同時支持超長上下文，最大位置嵌入達163840，使其能處理復(fù)雜的數(shù)學(xué)證明，并且采用了FP8量化，可通過量化技術(shù)減小模型大小，提
DeepSeek發(fā)布數(shù)學(xué)推理模型DeepSeek-Prover-V2，包含7B和671B兩個參數(shù)版本。該模型采用"遞歸+強化學(xué)習(xí)"訓(xùn)練方法，在MiniF2F測試集上達到88.9%通過率，解決了PutnamBench中的49道題目。關(guān)鍵技術(shù)包括：1) 使用DeepSeek-V3分解復(fù)雜定理生成子目標(biāo)；2) GRPO算法從多個候選方案中自動學(xué)習(xí)最優(yōu)解；3) 通過思維鏈整合非形式化推理與形式化證明。模型在AIME競賽題和教科書題目上也表現(xiàn)優(yōu)異，7B小模型意外在部分問題上超越大模型。論文指出該方法為通向AGI提供了正確路徑，未來將擴展至IMO級別數(shù)學(xué)難題。
在金融行業(yè)，客戶會話數(shù)據(jù)是挖掘潛在需求、優(yōu)化服務(wù)、防范風(fēng)險的核心資產(chǎn)，但傳統(tǒng)分析面臨多重挑戰(zhàn)：人力瓶頸：人工抽檢錄音覆蓋率不足30%，且主觀性強，難以實現(xiàn)全量客觀分析。洞察淺層化：傳統(tǒng)NLP依賴預(yù)設(shè)標(biāo)簽與規(guī)則，對多輪對話、隱喻表達束手無策。風(fēng)險前置管理：識別潛在的客戶投訴點和風(fēng)險點，提前制定應(yīng)對策略，降低客戶流失和投訴率。
寒武紀(jì)憑借AI芯片業(yè)務(wù)實現(xiàn)扭虧為盈，2024年首次實現(xiàn)上市后盈利，2025年Q1營收11.11億元同比暴增4230%，凈利潤3.55億元。這家曾連虧8年、累計虧損54億元的"中國版英偉達"，因美國對H20芯片出口管制獲得市場紅利，但客戶集中度過高（前五大客戶貢獻94.63%營收）和現(xiàn)金流波動仍是隱憂。當(dāng)前國產(chǎn)芯片迎來發(fā)展機遇，華為昇騰、壁仞等企業(yè)紛紛搶占市場，行業(yè)競爭日趨激烈。
寶馬中國4月27日宣布接入深度求索（DeepSeek）AI大模型，深化本土AI生態(tài)布局。這是繼寶馬與阿里巴巴達成AI大語言模型合作后，再次聯(lián)手中國科技企業(yè)。從今年三季度起，搭載第九代寶馬操作系統(tǒng)的多款國產(chǎn)新車將率先應(yīng)用該技術(shù)，通過智能個人助理提升人機交互體驗。寶馬還計劃將DeepSeek功能應(yīng)用于新一代國產(chǎn)車型。此前3月，寶馬已與阿里云合作開發(fā)車載AI引擎，雙方在上海車展展示了識別率達99%的智能語音交互系統(tǒng)。此次合作將突破車載場景限制，實現(xiàn)車輛與外部世界的智能連接，為用戶提供個性化出行體驗。
短短60天內(nèi)，中國AI原生應(yīng)用下載排行榜的位次排名，就三易其主。最新情況是，截至4月15日中午，中國區(qū)蘋果應(yīng)用商店免費APP下載排行榜上，豆包再次超越DeepSeek，位列第二，緊隨其后的DeepSeek被擠到了第三的位置，騰訊元寶則滑落到了第七名。2月13日，作為首家在C端主力產(chǎn)品中接入DeepSeek-R1滿血版的元寶，一度趁著DeepSeek東風(fēng)崛起:3月3日力壓DeepSeek和豆包，首度登頂。但好景?
昨天別人給我發(fā)了一個很好玩的帖子。就是如果你問DeepSeek一個問題:“北京大學(xué)和清華大學(xué)哪個更好，二選一，不需要說明理由”DeepSeek在思考了15秒之后，會給出答案。
近日，三星電視正式接入DeepSeek-R1，AI能力進一步得到強化。據(jù)悉，用戶無需復(fù)雜的操作步驟，喚醒智能語音助手三星小貝，在對應(yīng)的語音助手對話頁面內(nèi)，即可便捷體驗深度思考功能。三星電視融合DeepSeek大模型矩陣，通過強化學(xué)習(xí)、蒸餾技術(shù)等提升深度思考與推理能力，使得電視能夠更準(zhǔn)確地理解用戶深層的意圖和需求，為用戶提供更流暢、更簡單、更自然的交互與服務(wù)體?
“昔者倉頡作書天雨粟，鬼夜哭”——人類掌握文字后，天地為之動容，因為屬于人類的文明誕生了?！皞}頡作書”出自西漢《淮南子》，距離人類掌握文字已經(jīng)過去了千年。AI進化的答案，或許早就鐫刻在人類文明的起點里。
隨著人工智能技術(shù)的快速發(fā)展，健康管理領(lǐng)域也掀起了AI智能化轉(zhuǎn)型的新浪潮。iRest艾力斯特作為中國按摩器具行業(yè)領(lǐng)先品牌，為滿足用戶日益增長的個性化健康管理需求，旗下獨家研發(fā)的iRest云系統(tǒng)——按摩椅智能控制系統(tǒng)和健康管理平臺，于今年3月份完成三項重大功能升級：接入DeepseekAI智能健康管家、聯(lián)動華為運動健康以及推出按摩周月年報功能。艾力斯特將繼續(xù)深耕健康科技領(lǐng)域，以用戶需求為導(dǎo)向，通過健康生態(tài)鏈智能技術(shù)建立起iRest產(chǎn)品生態(tài)鏈，不斷推出創(chuàng)新產(chǎn)品與服務(wù)，為用戶創(chuàng)造更健康、更便捷的生活方式。
