神经定理证明

DeepSeek发布新模型DeepSeek-Prover-V2，专为形式化定理证明设计，在神经定理证明方面取得领先性能，并提出多项创新实验提升模型能力。