DeepSeek-Prover-V2は、LEAN 4で証明するオープンソースAI革命の正式な定理であり、DeepSeek-V3を搭載しているため、MINIF2Fテストで88.9％の合格率を達成し、49/658 Putnambenchの問題を解決します。
