技术博客

字节跳动的Seed团队与南京大学合作，成功开发出名为CriticLean的全新框架，实现了将数学自然语言高效、准确地转换为Lean 4代码的技术突破。这一进展显著提升了形式化准确率，从原先的38%跃升至84%，远超此前的领先模型DeepSeek-R1的性能。