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

链接直达 ">手机查看
内容由AI协助整理，请仔细甄别

相关导航

首个接入GPT-5的视频Agent！一句话生成广告大片，分镜配音全包了

比NanoBanana更擅长中文和细节控制！兔展&北大Uniworld V2刷新SOTA

Kimi K2 Thinking突袭！智能体&推理能力超GPT-5，网友：再次缩小开源闭源差距

KTransformers入选计算机系统顶会、与主流框架合作，趋境&清华让「异构」成为推理新范式

字节&MAP重塑大模型推理算法优化重点，强化学习重在高效探索助力LLM提升上限

智元办机器人挑战赛：清华&上海AILab夺冠，华南理工“单人成团”拿亚军