相關推薦
美團龍貓發佈開源數學定理證明模型 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服務提供商面臨的資源壓力,以及市
硅基流動CEO否認曾拒絕DeepSeek入股:是對未合作表遺憾
近日,圍繞硅基流動完成Pre-A輪融資的報道引發了一場關於公司早期發展歷程的討論。創投日報此前報道稱,2023年下半年DeepSeek創始人梁文鋒曾提出入股硅基流動的意向,條件是開源其自研LLM推理引擎,但遭到了硅基流動CEO袁進輝的拒絕。對此,袁進輝今日在朋友圈作出迴應,否認了上述說法。他表示自己提及2023年未與梁文鋒展開合作,是在表達對自身缺乏遠見的遺憾,而非如報道所述拒絕了投資意向。據瞭解,成立於2023年8月的硅基流動專注於開發大模型時代的AI基礎設施平臺。該公司通
Meta 宣佈建造全球最長海底電纜,助力人工智能基礎設施
近日,Meta 公司正式宣佈了名爲 Project Waterworth的重大項目。這項計劃是一個歷時數年的多億美元投資,旨在建造一條超過50,000公里的海底電纜,以支持全球的人工智能基礎設施。這個海底電纜項目一旦完成,將成爲全球最長的海底電纜,具有抵抗船錨和其他危險因素造成損壞的能力。根據項目的規劃,這條電纜將從美國東海岸延伸至西海岸,深度可達7,000米,途中將連接巴西、南非、印度和澳大利亞等多個國家和地區。通過這樣的佈局,Meta 希望能夠爲日益增長的人工智能應用提供穩定
