Das chinesische Unternehmen Deepseek berichtet von bedeutenden Erfolgen seines neuen Modells DeepSeekMath-V2 und bleibt damit im Wettbewerb mit westlichen KI-Laboren.
Laut Hersteller erzielte das Modell bei der Internationalen Mathematik-Olympiade (IMO) 2025 sowie der chinesischen CMO 2024 Ergebnisse auf Goldmedaillen-Niveau. Im Putnam-Wettbewerb erreichte die KI 118 von 120 Punkten und übertraf damit das beste Ergebnis eines menschlichen Teilnehmers, das bei 90 Punkten lag.
DeepseekMath‑V2 (Heavy) erzielte im IMO‑ProofBench 99 Prozent auf der Basic-Stufe und 61,9 Prozent auf der Advanced-Stufe, was es nur knapp hinter Google Deepminds Gemini Deep Think mit 65,7 Prozent platziert.
In der technischen Dokumentation erklärt Deepseek, dass frühere KI-Modelle oft korrekte Endergebnisse lieferten, jedoch die mathematischen Lösungswege nicht klar darlegten. Um dieses Problem zu adressieren, verwendet das neue Modell einen mehrstufigen Prozess. Ein „Verifier“ bewertet die Beweise, während ein „Meta-Verifier“ überprüft, ob die vorgebrachte Kritik gerechtfertigt ist. Dadurch lernt das System, eigene Lösungen während der Erstellung zu überprüfen und kontinuierlich zu optimieren.
KI Snack
