DeepSeek AI stellt DeepSeekMath‑V2 vor: 118/120 bei Putnam 2024

DeepSeek AI hat mit DeepSeekMath‑V2 einen Meilenstein im Bereich der KI‑gestützten Mathematik erreicht. Das neue Modell, das auf dem Open‑Weights‑Large‑Language‑Model DeepSeek‑V3.2‑Exp‑Base basiert, ist speziell für die natürliche Sprachformulierung von Theorem‑Proofs und deren Selbstverifikation ausgelegt.

DeepSeekMath‑V2 kann komplexe Olympiad‑Level‑Aufgaben in klarer, verständlicher Sprache nachweisen und gleichzeitig prüfen, ob die eigene Argumentation korrekt ist. Bei der renommierten Putnam‑Wettbewerb 2024 erzielte das Modell einen beeindruckenden Score von 118 von 120 möglichen Punkten – ein Ergebnis, das die Leistungsfähigkeit von KI im mathematischen Beweiswesen deutlich unter Beweis stellt.

Durch die offene Gewichtsverteilung ermöglicht DeepSeekMath‑V2 Forschern und Entwicklern, das Modell weiter zu untersuchen, anzupassen und in eigene Projekte zu integrieren. Damit eröffnet es neue Perspektiven für die automatisierte Lösung und das Verständnis mathematischer Probleme.