<menu id="yw4o4"></menu> 
“極客沙龍”作為今年GeekPwn2017上海站開啟的場外新玩法，邀請了來自騰訊安全玄武實(shí)驗(yàn)室、阿里安全I(xiàn)oT安全研究團(tuán)隊(duì)、看雪論壇、上海交通大學(xué)以及南京大學(xué)等六位“大牛級”安全研究者，為全球網(wǎng)絡(luò)安全技術(shù)愛好者帶來帶來勁爆的干貨議題...作為全民的黑客盛會，除了前所未見的挑戰(zhàn)項(xiàng)
......
111本文由站長之家用戶投稿發(fā)布于站長之家平臺，本平臺僅提供信息索引服務(wù)。為了保證文章信息的及時(shí)性，內(nèi)容觀點(diǎn)的準(zhǔn)確性，平臺將不提供完全的內(nèi)容展現(xiàn)，本頁面內(nèi)容僅為平臺搜索索引使用。需閱讀完整內(nèi)容的用戶，請查看原文，獲取內(nèi)容詳情。
（舉報(bào)）
快科技4月30日消息，今日，DeepSeek 今日在 AI 開源社區(qū) Hugging Face 發(fā)布了一個(gè)名為 DeepSeek-Prover-V2-671B 的新模型。據(jù)介紹，DeepSeek-Prover-V2-671B 其參數(shù)量達(dá)到6710億，使用了更高效的 safetensors 文件格式，并支持 BF16、FP8、F32 等多種計(jì)算精度，方便模型更快、更省資源地訓(xùn)練和部署。在模型架構(gòu)上，該模型使用了DeepSeek-V3架構(gòu)，采用MoE（混合專家）模式，具有61層Transformer層，7168維隱藏層。同時(shí)支持超長上下文，最大位置嵌入達(dá)163840，使其能處理復(fù)雜的數(shù)學(xué)證明，并且采用了FP8量化，可通過量化技術(shù)減小模型大小，提
DeepSeek-R1是一款開創(chuàng)性的大型推理模型(LRM)，其研究揭示了AI推理能力的質(zhì)變。該模型通過多階段訓(xùn)練流程，將推理過程內(nèi)嵌于模型本身，實(shí)現(xiàn)了從"提示驅(qū)動(dòng)"到"內(nèi)生推理"的模式轉(zhuǎn)變。研究團(tuán)隊(duì)通過142頁報(bào)告詳細(xì)分析了R1的思維鏈，發(fā)現(xiàn)其推理過程具有高度結(jié)構(gòu)化特征，包含問題定義、綻放周期、重構(gòu)周期和最終決策四個(gè)階段。模型展現(xiàn)出類人推理能力，能通過分
寒武紀(jì)憑借AI芯片業(yè)務(wù)實(shí)現(xiàn)扭虧為盈，2024年首次實(shí)現(xiàn)上市后盈利，2025年Q1營收11.11億元同比暴增4230%，凈利潤3.55億元。這家曾連虧8年、累計(jì)虧損54億元的"中國版英偉達(dá)"，因美國對H20芯片出口管制獲得市場紅利，但客戶集中度過高（前五大客戶貢獻(xiàn)94.63%營收）和現(xiàn)金流波動(dòng)仍是隱憂。當(dāng)前國產(chǎn)芯片迎來發(fā)展機(jī)遇，華為昇騰、壁仞等企業(yè)紛紛搶占市場，行業(yè)競爭日趨激烈。
新版AI模型縮短了響應(yīng)時(shí)間，節(jié)約了運(yùn)算成本；還推出了新的AI芯片“Ironwood”。谷歌發(fā)布了新的AI模型“Gemini2.5Flash”，據(jù)稱，這款A(yù)I模型的性能比OpenAI和DeepSeek的AI產(chǎn)品“更高效”。谷歌計(jì)劃在三星今年上半年推出的AI伴侶機(jī)器人Ballie上搭載生成式AI模型。
短短60天內(nèi)，中國AI原生應(yīng)用下載排行榜的位次排名，就三易其主。最新情況是，截至4月15日中午，中國區(qū)蘋果應(yīng)用商店免費(fèi)APP下載排行榜上，豆包再次超越DeepSeek，位列第二，緊隨其后的DeepSeek被擠到了第三的位置，騰訊元寶則滑落到了第七名。2月13日，作為首家在C端主力產(chǎn)品中接入DeepSeek-R1滿血版的元寶，一度趁著DeepSeek東風(fēng)崛起:3月3日力壓DeepSeek和豆包，首度登頂。但好景?
昨天別人給我發(fā)了一個(gè)很好玩的帖子。就是如果你問DeepSeek一個(gè)問題:“北京大學(xué)和清華大學(xué)哪個(gè)更好，二選一，不需要說明理由”DeepSeek在思考了15秒之后，會給出答案。
DeepSeek發(fā)布數(shù)學(xué)推理模型DeepSeek-Prover-V2，包含7B和671B兩個(gè)參數(shù)版本。該模型采用"遞歸+強(qiáng)化學(xué)習(xí)"訓(xùn)練方法，在MiniF2F測試集上達(dá)到88.9%通過率，解決了PutnamBench中的49道題目。關(guān)鍵技術(shù)包括：1) 使用DeepSeek-V3分解復(fù)雜定理生成子目標(biāo)；2) GRPO算法從多個(gè)候選方案中自動(dòng)學(xué)習(xí)最優(yōu)解；3) 通過思維鏈整合非形式化推理與形式化證明。模型在AIME競賽題和教科書題目上也表現(xiàn)優(yōu)異，7B小模型意外在部分問題上超越大模型。論文指出該方法為通向AGI提供了正確路徑，未來將擴(kuò)展至IMO級別數(shù)學(xué)難題。
“昔者倉頡作書天雨粟，鬼夜哭”——人類掌握文字后，天地為之動(dòng)容，因?yàn)閷儆谌祟惖奈拿髡Q生了?！皞}頡作書”出自西漢《淮南子》，距離人類掌握文字已經(jīng)過去了千年。AI進(jìn)化的答案，或許早就鐫刻在人類文明的起點(diǎn)里。
那比較有意思的一點(diǎn)是，我沒有上來敢跟模型團(tuán)隊(duì)直接聊，我先跟謝炎（理想汽車CTO）聊了一下，我說我們本身要做VLA（視覺語言行動(dòng)模型），然后VLA一個(gè)很重要的計(jì)劃是到今年的這個(gè)9月份的時(shí)候能夠做一個(gè)非常好的語言模型出來，才能再往下去訓(xùn)練VLA（視覺語言行動(dòng)模型）。
快科技4月16日消息，今天，深度操作系統(tǒng)宣布，deepin 23.1版本已正式發(fā)布。此版本聚焦于解決基礎(chǔ)組件更新后的安裝效率問題，大幅提升新用戶安裝體驗(yàn)，同時(shí)集成多項(xiàng)功能優(yōu)化與問題修復(fù)，進(jìn)一步優(yōu)化系統(tǒng)使用。本次版本的重點(diǎn)改進(jìn)包括內(nèi)核優(yōu)化、AI 默認(rèn)引擎切換至DeepSeek、修復(fù)超百項(xiàng)用戶反饋問題等，具體重點(diǎn)改進(jìn)如下：硬件兼容性與內(nèi)核優(yōu)化：集成6.6/6.12內(nèi)核更新、NVIDIA顯卡驅(qū)動(dòng)升級、Intel/AMD CPU微碼更新，全面提升硬件支持與底層性能；核心功能增強(qiáng)：DDE新增智能鏡像源管理、緊湊模式入口，全局搜索支持離線自然語言與AI處理能力；?
