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

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

相关导航

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

KTransformers入选计算机系统顶会、与主流框架合作，趋境&清华让「异构」成为推理新范式

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

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

大模型隐私安全和公平性有“跷跷板”效应，最佳平衡法则刚刚找到 | 人大&上海AI Lab

厉害了，智谱造了全球首个手机通用Agent！人人免费，APP甚至直接操控云电脑