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

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

相关导航

中国中文信息学会2025学术年会暨第二届中国大模型大会（CIPS & CLM 2025）于10月28日在北京盛大开幕

顶尖技术+标准产品+创新模式+可靠服务，打造大模型商业落地中国范式

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

让机器人在“想象”中学习世界的模型来了！PI联创课题组&清华陈建宇团队联合出品

中国中文信息学会2025学术年会暨第二届中国大模型大会（CIPS & CLM 2025）于10月28日在北京盛大开幕

官宣｜FlagOS 镜像登陆腾讯云 HAI社区，快速部署OpenClaw 实现“养虾”自由