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

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

相关导航

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

缺数据也能拿SOTA？清华&上海AI Lab破解机器人RL两大瓶颈

AI搜索MCP服务来了，Agent直接链接实时信息！刚刚，百度智能云打出了张“王牌”

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

大模型隐私安全和公平性有“跷跷板”效应，最佳平衡法则刚刚找到 | 人大&上海AI Lab

超越Gemini3、GPT5.1，阿里千问登顶空间推理全球冠军