Deepseek, ein chinesisches KI -Labor, hat sein KI -Modell verbessert Provermit der Veröffentlichung von Version V2 auf der AI-Entwicklungsplattform am Mittwoch entwickelt, um Mathematik-Beweise und Theoreme zu lösen.
Die neueste Version scheint auf dem V3-Modell von Deepseek aufgebaut zu sein, das 671 Milliarden Parameter verfügt und eine Mischung aus Experten (MEE) verwendet. Diese Architektur ermöglicht es dem Modell, komplexe Aufgaben in Unteraufgaben zu zerlegen und sie an spezialisierte „Experten“ -Komponenten zu delegieren.
Im Zusammenhang mit KI-Modellen sind Parameter ein grobes Maß für die Problemlösungsfunktionen eines Modells. Deepseek Letzter aktualisierter Prover im August und beschreibt es als benutzerdefiniertes Modell für formelle Theoremprobe und mathematische Argumentation.
Das Upgrade erfolgt, als Deepseek seine KI -Angebote weiter erweitert. Im Februar berichtete Reuters, dass das Unternehmen zum ersten Mal in Betracht gezogen wurde, außerhalb der Finanzierung zu sammeln. Kürzlich hat Deepseek eine verbesserte Version seines General-Purple V3-Modells veröffentlicht und wird voraussichtlich bald sein R1-Modell „Argumenting“ aktualisieren.
