DeepSeek-Prover-V2

DeepSeek-Prover-V2是一個開放原始碼的人工智能徹底改變了Lean 4中的形式定理證明。由DeepSeek-V3提供支持，它在MiniF2F測試中達到了88.9%的通過率，並解決了49/658個PutnamBench問題。