DeepSeek lança modelo de prova matemática Prover-V2
A DeepSeek lançou um modelo especializado chamado Prover-V2 na área de demonstração de teoremas matemáticos, com o objetivo de usar IA para provar automaticamente teoremas matemáticos no sistema de verificação formal Lean 4.