超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源
量子位
超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源

Direct Link ">View on Mobile
Content assisted by AI. Please review carefully.

Related Navigation

库克提拔复旦校友掌舵苹果基础模型！庞若鸣走后涨薪止血，谷歌旧部占据半壁江山

让机器人在“想象”中学习世界的模型来了！PI联创课题组&清华陈建宇团队联合出品

英伟达护城河又宽了！低调收购开源算力调度王牌工具，全球过半顶级超算在用，Thinking Machines也离不开它

突破Agent长程推理效率瓶颈！MIT&NUS联合推出强化学习新训练方法

姚顺宇谷歌首秀，Gemini新模型刷爆SOTA：人类仅剩7人捍卫碳基编程

4B小模型数学推理首超Claude 4，700步RL训练逼近235B性能 | 港大&字节Seed&复旦