DeepSeek 2026-04-07 DeepSeek-Prover-V2：用AI来做数学定理证明，靠谱吗 DeepSeek在数学定理证明领域搞了个专用模型Prover-V2，目标是用AI在Lean 4形式化验证系统里自动证明数学定理。 这个方向为什么重要？数学定理证明是AI能力的一个极端测试场。因为数学不接受”差不多对”——证明要么完全正确，要