DeepSeek veröffentlicht Prover-V2-Modell: 671B-Parameter verbessern mathematisches Theorem-Provening
DeepSeek hat am 1. Mai das Modell DeepSeek-Prover2 für mathematische Beweise veröffentlicht, das 671 Milliarden Parameter und eine Version mit 7 Milliarden Parametern enthält...
