超越DeepSeek-ProverV1.5！豆包首个形式化数学推理模型BFS-Prover来了，直接开源
AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年，机器之心AIxiv专栏接收报道了2000多篇内容，…
刚刚，DeepSeek开源MoE训练、推理EP通信库DeepEP，真太Open了！
上周五，DeepSeek 发推说本周将是开源周（OpenSourceWeek），并将连续开源五个软件库。 昨天…
2025 WAIC 云帆奖开启全球报名：集青年之智共铸 AGI 未来
｜2025 WAIC 云帆奖面向华人 AI 青年人才开启全球征集 ｜欢迎点击文末「阅读原文」完成报名或提名！ …
仅靠逻辑题，AI数学竞赛能力飙升！微软、九坤投资：7B小模型也能逼近o3-mini
AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年，机器之心AIxiv专栏接收报道了2000多篇内容，…
全球首个混合推理模型：Claude 3.7 Sonnet来袭，真实编码力压一切对手
就在昨晚，Anthropic 要发新模型的消息开始在 AI 社区广泛发酵，不过并不是期待中的 Claude 4…
DeepSeek开源FlashMLA：Hopper GPU解码新标杆，测评大揭秘！
DeepSeek今天正式启动为期五天的开源成果发布计划，首个亮相的项目是FlashMLA。这一开源项目将先进的…
稀疏注意力再添一员，华为诺亚推出高效选择注意力架构ESA
AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年，机器之心AIxiv专栏接收报道了2000多篇内容，…
模型安全武装，复旦新研究实现SOTA扩散模型风险概念擦除效果，入选AAAI 2025
AIxiv专栏是机器之心发布学术、技术内容的栏目。过去数年，机器之心AIxiv专栏接收报道了2000多篇内容，…
双擎升级！商汤大装置DeepSeek企业版上线+免费版扩容
今年2月，商汤大装置万象平台正式上线了DeepSeek-R1、DeepSeek-V3等模型，并为免费版提供3个…
南京理工团队推出基于AI增强热力学建模预测3D场景红外辐射特性的新框架
编辑 | ScienceAI 在现代军事科技中，虚拟战场构建技术对武器研发和战术决策具有深远影响。 然而，传统…