Samstag, 14. November 2026.
In einer Ära, in der Künstliche Intelligenz (KI) eine immer zentralere Rolle in Wissenschaft und Technik spielt, stellt Chinas Unternehmen DeepSeek einen bedeutenden Fortschritt vor. Mit der Veröffentlichung seines neuesten Modells Prover V2 präsentiert DeepSeek ein offenes, auf Mathematik spezialisertes KI-Modell, das speziell für die Verifikation und Generierung mathematischer Beweise entwickelt wurde.