Lean4

DeepSeek 在五一假期前发布了新的数学问题和定理证明模型 DeepSeek-Prover-V2-671B，参数量达671B，架构更新，引起了广泛关注。