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

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

Related Navigation

机器人需求驱动导航新SOTA，成功率提升15%！浙大&vivo联手打造

清华数学系大神跳槽OpenAI！曾主导SAM与Llama开发，Sora负责人：欢迎加入

全球首个具身智能开放平台来了！让大模型长出“身体”，像人一样自然表达交互

阿里云神秘团队曝光：AI时代的新蓝军

卡帕西：强化学习很糟糕，但其他所有方法都更糟

MEET2026挤爆了，AI圈今年最该听的20+场演讲&对谈都在这