相關推薦
美團龍貓發佈開源數學定理證明模型 LongCat-Flash-Prover
2026年3月24日,美團龍貓團隊開源了深度學習模型LongCat-Flash-Prover,專門用於數學形式化與定理證明。該模型將形式化推理拆解爲自動形式化、草稿生成與證明生成三大原子能力,旨在克服大語言模型在嚴密邏輯推演中的短板,實現從“概率預測答案”到“嚴謹邏輯證明”的範式轉變。
Nes2Net深度學習架構發佈,革新語音防僞檢測技術
近日,Nes2Net深度學習模型架構正式開源發佈,成爲語音反欺騙系統領域的重要突破。據AIbase瞭解,Nes2Net專爲語音防僞檢測設計,能夠有效識別語音克隆、邏輯訪問攻擊、假歌聲、假語音及部分語音僞造等多種僞造聲音類型。其在歌唱聲音深度僞造數據集CtrSVDD上的表現尤爲突出,性能比當前最佳基線系統提升22%,後端計算成本降低87%。項目已在GitHub公開,引發了語音安全與AI研究社區的廣泛關注。核心創新:嵌套架構直接處理高維特徵Nes2Net的核心在於其獨特的Nested Res2Net架構,解決了傳統語
算力告急!DeepSeek暫停API充值,兩大模型價格策略同步調整
DeepSeek今日發佈重要通知,因服務器資源緊張,即日起暫停API充值服務。公司表示,用戶現有賬戶餘額仍可繼續使用,但暫不接受新的充值。與此同時,DeepSeek還宣佈其產品價格調整計劃。DeepSeek-chat模型的優惠期將於2025年2月8日24:00結束。優惠到期後,該模型將執行新的價格標準:輸入tokens按每百萬2元計費,輸出tokens則爲每百萬8元。此外,新上線的DeepSeek-reasoner模型採用更高的定價策略,輸入和輸出tokens分別按每百萬4元和16元收費。這一系列調整反映出AI服務提供商面臨的資源壓力,以及市
騰訊文檔接入DeepSeek 上線PPT直出、週報神器、文獻速讀功能
騰訊文檔與DeepSeek-R1的結合實現了PPT的直接生成。用戶無需再通過複雜的Markdown格式或在多個軟件之間切換,只需在騰訊文檔內輸入主題和相關要求,DeepSeek-R1即可生成一份深度思考的PPT內容。例如,一位教師需要製作以“新學期要有勇氣”
DeepSeek App 上線一個月下載量突破 1 億
據每日經濟新聞消息,DeepSeek App 在上線一個月內取得了驚人的成績,累計下載量突破1億次。據瞭解,這款應用於2025年1月11日正式發佈,從 QuestMobile 的數據顯示,從上線以來至2月9日,DeepSeek App的累計下載量超1.1億次,周活躍用戶規模最高近9700萬。圖源備註:圖片由AI生成,圖片授權服務商Midjourney而其周下載量在一段時間內也出現了飛速增長,從1月20日至1月26日的28.5萬次,到次周攀升至6300萬次,增長幅度超過2700%。DeepSeek 的崛起與其技術實力密不可分。該應用在1月20日開源了推理模型 Deep
