相關推薦
美團龍貓發佈開源數學定理證明模型 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服務提供商面臨的資源壓力,以及市
xAI Grok 2將在Grok 3正式可用後開源
近日,馬斯克旗下的人工智能公司 xAI 正式推出了最新的聊天機器人 ——Grok3。根據公司的官方聲明,Grok3在多項測試中表現優異,甚至與業內巨頭如 Gemini、DeepSeek 和 ChatGPT 相媲美。這一消息無疑爲 AI 領域帶來了新的期待和熱議。Grok3目前已向 Premium + 訂閱者開放,這意味着用戶可以率先體驗到這一新模型的強大功能。爲了讓更多用戶瞭解和體驗 Grok 系列模型,xAI 還特別推出了一個名爲 Grok.com 的官方網站,用戶可以在這裏進行交互式體驗。馬斯克在直播中提到,Grok3的推出不僅是技術上的
Grok-3正式發佈:馬斯克"鈔能力"催生AI新王座挑戰者
埃隆·馬斯克旗下xAI公司正式發佈Grok系列第三代大語言模型,在AI領域掀起新一輪技術海嘯。這款被開發者稱爲"當下地表最強"的模型,或將重塑全球AI競爭格局。據官方披露,Grok-3在多項核心指標上已超越現有主流模型,測試用戶反饋其實際表現達到"o3-full"基準水平。但這份技術突破背後是驚人的算力投入——其訓練消耗的算力資源達到中國深度求索公司DeepSeek V3模型的263倍,如此懸殊的資源差距令國內研發團隊直言"望洋興嘆"。本次發佈呈現出完整的產品生態:- **推理專用版本**:針對企業
