Dataconomy DE
Subscribe
No Result
View All Result
Dataconomy DE
Subscribe
No Result
View All Result
Dataconomy DE
No Result
View All Result

Deepseek schärft ihre Mathe-KI mit einem Moe-angetanten Prover-Upgrade

byKerem Gülen
April 30, 2025
in Artificial Intelligence, News
Home Artificial Intelligence

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.


Ausgewähltes Bildnachweis

Tags: AiDeepseekMoeProver

Related Posts

Alphaevolve: Wie Googles neue KI mit Selbstkorrektur auf die Wahrheit strebt

Alphaevolve: Wie Googles neue KI mit Selbstkorrektur auf die Wahrheit strebt

Mai 15, 2025
TIKTOK implementiert AI-generierte ALT-Texte, um eine bessere Akzierbarkeit zu erhalten

TIKTOK implementiert AI-generierte ALT-Texte, um eine bessere Akzierbarkeit zu erhalten

Mai 15, 2025
Trump zwingt Apple, seine indische iPhone -Strategie in Indien zu überdenken

Trump zwingt Apple, seine indische iPhone -Strategie in Indien zu überdenken

Mai 15, 2025
Die KI von YouTube weiß jetzt, wann Sie kurz vor dem Kauf sind

Die KI von YouTube weiß jetzt, wann Sie kurz vor dem Kauf sind

Mai 15, 2025
Der CEO von SoundCloud gibt zu, dass KI -Begriffe nicht klar genug waren, ein neues Versprechen herausgibt

Der CEO von SoundCloud gibt zu, dass KI -Begriffe nicht klar genug waren, ein neues Versprechen herausgibt

Mai 15, 2025
Lightricks enthüllt ein 13B LTX -Videomodell für die HQ -AI -Videogenerierung

Lightricks enthüllt ein 13B LTX -Videomodell für die HQ -AI -Videogenerierung

Mai 14, 2025

Recent Posts

  • Databricks -Wetten auf serverlose Postgres mit seiner Akquisition von 1 Milliarde US -Dollar
  • Alphaevolve: Wie Googles neue KI mit Selbstkorrektur auf die Wahrheit strebt
  • TIKTOK implementiert AI-generierte ALT-Texte, um eine bessere Akzierbarkeit zu erhalten
  • Trump zwingt Apple, seine indische iPhone -Strategie in Indien zu überdenken
  • Die KI von YouTube weiß jetzt, wann Sie kurz vor dem Kauf sind

Recent Comments

Es sind keine Kommentare vorhanden.
Dataconomy DE

COPYRIGHT © DATACONOMY MEDIA GMBH, ALL RIGHTS RESERVED.

  • Home
  • Sample Page

Follow Us

  • Home
  • Sample Page
No Result
View All Result
Subscribe

This website uses cookies. By continuing to use this website you are giving consent to cookies being used. Visit our Privacy Policy.