超越DeepSeek-ProverV1.5！豆包首个形式化数学推理模型BFS-Prover来了，直接开源
简洁的算法结合精心设计的优化策略，同样有助于 AI4Math 边界拓展。
阅读全文 ：超越DeepSeek-ProverV1.5！豆包首个形式化数学推理模型BFS-Prover来了，直接开源
公众号
机器之心
专业的人工智能媒体和产业服务平台
这个来源的文章
仅靠逻辑题，AI数学竞赛能力飙升！微软、九坤投资：7B小模型也能逼近o3-mini
在完全未见过的美国数学奥林匹克（AIME）测试中，该模型的推理性能提升了125%！
阅读全文 ：仅靠逻辑题，AI数学竞赛能力飙升！微软、九坤投资：7B小模型也能逼近o3-mini刚刚，DeepSeek开源MoE训练、推理EP通信库DeepEP，真太Open了！
模型层优化MoE之外，算力基础设施也一起升级
阅读全文 ：刚刚，DeepSeek开源MoE训练、推理EP通信库DeepEP，真太Open了！2025 WAIC 云帆奖开启全球报名：集青年之智共铸 AGI 未来
期待你的加入，以青年之智，丈量 AGI 的无限可能。
阅读全文 ：2025 WAIC 云帆奖开启全球报名：集青年之智共铸 AGI 未来从o1-mini到DeepSeek-R1，万字长文带你读懂推理模型的历史与技术
理解推理模型以及它们与标准 LLM 的关系。
阅读全文 ：从o1-mini到DeepSeek-R1，万字长文带你读懂推理模型的历史与技术征稿｜CVPR2025首届ViSCALE研讨会，探寻计算机视觉的推理扩展律
本次研讨会旨在深入探讨 Test-time Scaling（推理时计算扩展，TTS）如何赋能计算机视觉模型、算法及应用。
阅读全文 ：征稿｜CVPR2025首届ViSCALE研讨会，探寻计算机视觉的推理扩展律刚刚，DeepSeek开源FlashMLA，推理加速核心技术，Star量飞涨中
人刚到工位，DeepSeek开源周第一弹就来了。
阅读全文 ：刚刚，DeepSeek开源FlashMLA，推理加速核心技术，Star量飞涨中ICLR 2025｜南洋理工大学AvatarGO，探索4D人与物体交互生成新方法
这是首次尝试基于文本引导生成具有物体交互的4D虚拟形象。
阅读全文 ：ICLR 2025｜南洋理工大学AvatarGO，探索4D人与物体交互生成新方法