相关推荐
美团龙猫发布开源数学定理证明模型 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服务提供商面临的资源压力,以及市
LiblibAI哩布哩布AI宣布再获数亿元融资 一年内连续完成四轮融资
2月24日,LiblibAI(哩布哩布AI)宣布在短短一年内连续完成四轮融资,创下国内AI应用赛道融资速度的新纪录。继2024年7月披露的数亿元融资后,LiblibAI再次成功斩获数亿元资金。最新两轮融资由渶策资本、顺为资本领投,明势创投等老股东超额跟投
融资速度“开挂”!LiblibAI再获数亿投资,一年连融四轮 领跑 AI 应用赛道
国内 AI 应用赛道再添重磅融资事件! AI 内容创作平台 LiblibAI-哩布哩布AI 今日正式宣布, 在短短一年时间内 惊人地 连续完成四轮融资, 创下国内 AI 应用领域 前所未有的 融资速度纪录。 继2024年7月 披露的数亿元融资之后, LiblibAI 再次成功 斩获 数亿元巨额资金, 发展势头 持续 强劲, 引发业界 高度 关注。据悉, LiblibAI 最新 两轮 融资 由 渶策资本 和 顺为资本 联合领投, 明势创投 等 老股东 超额 跟投, 互联网巨头 巨人网络 以 产业投资方 身份 强势 入局, 远识资本 继续 担任 独家 财
