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

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

相关导航

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

潞晨尤洋：日常办公没必要上私有模型，这三类企业才需要 | MEET2026

千问3.5登顶Hugging Face，前十开源模型中国占据8席

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

机器人需求驱动导航新SOTA，成功率提升15%！浙大&vivo联手打造

黄仁勋200亿美元带走「TPU核心班底」