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

Direct Link ">View on Mobile
Content assisted by AI. Please review carefully.

Related Navigation

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

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

空间智能卡脖子难题被杭州攻克！难倒GPT-5后，六小龙企业出手了

AI终于学会在家“伺候人”！Hey Tuya，我躺了

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

科大讯飞赋能史上最“AI”东博会：打造全场景无障碍沟通体验，发布东盟系列产品