相关推荐
美团龙猫发布开源数学定理证明模型 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服务提供商面临的资源压力,以及市
OpenAI低调更新GPT4o模型,多项能力反超DeepSeek
近日,OpenAI 对其 ChatGPT 的 GPT4o 模型进行了更新,这一消息由 OpenAI 的首席执行官 Sam Altman 在社交平台 X 上透露。Altman 表示,此次更新是在上个周末进行的,旨在进一步提升用户的使用体验。他强调,新版本的模型在使用过程中表现出色,给用户带来了更为顺畅的体验。在大模型竞技场超越DeepSeek-R1登上并列第一,数据显示最新版GPT4o在创意写作、编程、指令遵循、长文本查询、多轮对话拿下第一位置,不过数学能力仍很弱排在第六。GPT4o 模型自去年5月发布以来,便引起了广泛关注。这款模
昆仑万维开源首个面向AI短剧创作的视频生成模型SkyReels-V1
2月18日,昆仑万维宣布开源中国首个面向AI短剧创作的视频生成模型SkyReels-V1和中国首个SOTA级别的基于视频基座模型的表情动作可控算法SkyReels-A1。这一举措旨在解决当前AI视频生成模型不开源、费用高、难以使用等问题,推动AI短剧行业的创新与发展。SkyReels-V1是中国首个面向AI短剧创作的开源视频生成模型。该模型通过结合口型生成、表情生成和肢体生成等多个生成模块,实现了对人物表演细节的精细控制。SkyReels-V1利用千万级别的高质量好莱坞数据进行训练微调,显著提升了表情生成和
