Deepseek-Prover-V2
Het bevorderen van formele wiskundige redenering via RL
Uitgelicht
2 Stemmen
Beschrijving
Deepseek-Over-Over-V2 is een open-source AI-revolutionering van de formele stelling die bewijst in Lean 4. Aangedreven door Deepseek-V3, het behaalt een doorlooppercentage van 88,9% op Minif2F-test en lost 49/658 Putnambench-problemen op.