Deepseek-Prover-V2
Avançar o raciocínio matemático formal via RL
Destaque
2 Votos
Descrição
O Deepseek-Prover-V2 é um AI de código aberto que revoluciona o teorema formal que comprova no Lean 4. Powered by Deepseek-V3, atinge uma taxa de aprovação de 88,9% no Minif2f-Test e resolve 49/658 problemas de putnambench.