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

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

相关导航

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

华为第一「境」CEO官宣：广汽神车操盘手

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

上海凭什么敢自封“开发者之城”？看完这场大会议程我悟了

ChatGPT也遭殃，亚马逊服务器故障，半个互联网都崩了

32个随机数字，1分钟推演地球未来15天丨谷歌DeepMind