DeepSeek veröffentlicht Mathematik-Beweismodell Prover-V2
DeepSeek hat ein spezialisiertes Modell namens Prover-V2 für den Bereich des mathematischen Theorembeweises veröffentlicht, das mithilfe von KI automatisch mathematische Theoreme im formalen Verifikationssystem Lean 4 beweisen soll.