超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源 超越DeepSeek-R1，数学形式化准确率飙升至84% | 字节&南大开源 关键词: AI,模型训练,CriticLean,人工智能 当人工智能已经能下围棋、写代码，如何让机器理解并证明数学定理，仍是横亘在科研界的重大难题。 来自主题: AI技术研报 8641 点击 2025-07-30 11:01
