相关推荐
美团龙猫发布开源数学定理证明模型 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服务提供商面临的资源压力,以及市
五角大楼高官透露:将投资于 “自主杀手机器人”
在一次令人震惊的声明中,一位高级国防官员向《Defense One》透露,五角大楼对自主杀手机器人的兴趣正在加速增长。该官员在匿名的情况下表示,五角大楼正计划减少对人工智能研究的资金投入,转而投资于实际的 AI 武器系统。他指出:“我们不会再投资于‘人工智能’,因为我不知道那意味着什么。我们将投资于自主杀手机器人。”这位官员补充说,目前的政府更加关注武器系统和商业系统,而不是所谓的 “技术”。另有一位官员提到,五角大楼将把一些研发费用转移到私营部门。这
小米将推出首款AI PC产品
小米集团合伙人兼总裁卢伟冰在近日一场小米15Ultra爆料直播中透露,小米将推出首款 AI PC 产品引发了科技界的广泛关注。据称,新款 AI PC 的一大亮点在于其搭载的99Wh 超大电池,这一设计不仅满足了民航运输的安全标准,成为市场上为数不多的可登机产品,还将大幅提升用户在移动办公时的续航能力。卢伟冰表示,随着移动办公的普及,用户对电池续航的需求越来越高。新款 AI PC 的设计恰好解决了用户在此场景下的续航焦虑,为工作和学习带来了更多便利。除了续航之外,小米还在产品
VIP会员