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

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

Related Navigation

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

PPIO荣获InfoQ2025 年度 AI 基础设施卓越奖

SGLang原生支持昇腾，新模型一键拉起无需改代码

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

AI生成操作系统新突破！上海交大提出文件系统开发新范式：从此只需写规约

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