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

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

相关导航

找ChatGPT谈恋爱多是“日久生情”？！MIT&哈佛正经研究

1.3亿美元！LiblibAI拿下国内AI应用赛道年度最大融资

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

字节&MAP重塑大模型推理算法优化重点，强化学习重在高效探索助力LLM提升上限

GPT-5通关《宝可梦水晶》创纪录！9517步击败赤爷，效率碾压o3三倍！

Moltbot作者被Claude刁难后：MiniMax M2.1是最优秀的开源模型