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

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

Related Navigation

GPT-5又帮陶哲轩解决了一个难题

爱诗科技PixVerse接入Nano Banana Pro，增强视频创作工作流体验

Q2学习机出货量增46%！IDC：科大讯飞AI学习机登顶市场销售额第一

解锁产业互联网新周期，他们都说了什么

多家资本参投，杨立昆AMI获超10亿美元种子融资

卡帕西预言成真！华人团队开源全AI操作系统