AI 證明 資訊與深度分析

DeepSeek 發表數學證明模型 Prover-V2

DeepSeek 在數學定理證明領域推出專用模型 Prover-V2，目標是在 Lean 4 形式化驗證系統中以 AI 自動證明數學定理，並在 miniF2F 基準測試中取得接近或達到當前最優的成績。