相关推荐
美团龙猫发布开源数学定理证明模型 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服务提供商面临的资源压力,以及市
“ChatGPT之母”官宣创办新 AI 公司:思维机器实验室
前 OpenAI 首席技术官 Mira Murati 在去年秋天突然离开 OpenAI 后,开始了她的新创业旅程。近日,她向外界透露了自己正在筹备的新 AI 初创公司,名为 “思维机器实验室”(Thinking Machines Lab)。虽然具体的产品细节尚未公开,但这家公司明确表示,其目标是让 AI 系统更加易于理解、可定制,并且具备更广泛的能力。思维机器实验室希望为用户提供一种可以与 AI 协作的方式,而不是开发完全自主的系统。公司在一份新闻稿中表示:“我们正在构建一个未来,让每个人都能获取知识和工具,以便让
DeepSeek 推出 NSA 技术:加速长上下文训练与推理
在人工智能领域,DeepSeek 团队于近日发布了最新研究成果,推出了一种名为 NSA(Native Sparse Attention)的创新稀疏注意力机制。这项技术的核心目标是提升长上下文训练和推理的速度,特别是针对现代硬件进行了优化,使得训练和推理的效率大幅提升。NSA 技术的推出,为人工智能模型的训练带来了显著的变化。首先,它通过一系列针对现代计算硬件特性的设计优化,显著提升了推理速度,并有效降低了预训练的成本。更重要的是,在提升速度和降低成本的同时,NSA 仍然保持了高水平的模型
VIP会员