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

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

相关导航

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

AI打假AI，拿下SOTA丨厦大&腾讯优图

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

谷歌技术报告披露大模型能耗：响应一次相当于微波炉叮一秒

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

2026中国AIoT产业年会:我们正从”万物智联”走向”万物智行”