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

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

相关导航

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

百元级硬件流畅运行百亿参数大模型！上交&本智激活开源端侧原生大模型

调整训练数据出场顺序大模型就能变聪明！无需扩大模型/数据规模

LeCun创业首轮估值247亿！Alexandre当CEO

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

短视频刷多了AI也会变蠢！“年度最令人不安的论文”