超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源 - AI工具导航AI Tool Navigation

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

Direct Link ">View on Mobile

Content assisted by AI. Please review carefully.

Related Navigation