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

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

相关导航

凭借一条私信，我如何入职OpenAI

阿里云Coding Plan推优惠活动，18000次请求最低仅需7.9元

黑马图像模型被Nano Banana技术负责人点赞！15人华人小队，DDIM之父&CVPR最佳论文作者带队

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

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

李开复陆奇重仓同一家Harness智能体公司，李笛带队，4个月2轮融资3-5年粮草