DeepSeek aktualisiert KI-Modell Prover für mathematische Beweise
PEKING / MÜNCHEN (IT BOLTWISE) – Die chinesische KI-Forschungseinrichtung DeepSeek hat kürzlich eine bedeutende Aktualisierung ihres KI-Modells Prover vorgenommen, das speziell für die Lösung mathematischer Beweise und Theoreme entwickelt wurde. DeepSeek, ein führendes KI-Labor in China, hat sein Modell Prover, das auf mathematische Beweise spezialisiert ist, auf die neueste Version V2 aktualisiert. Diese Aktualisierung wurde […]
Meta stellt Llama 4 vor: Neue KI-Modelle mit MoE-Architektur
MÜNCHEN (IT BOLTWISE) – Meta hat kürzlich seine neueste Sammlung von KI-Modellen, Llama 4, vorgestellt. Diese Modelle repräsentieren einen bedeutenden Fortschritt in der KI-Entwicklung und setzen auf eine neuartige MoE-Architektur, die sowohl Effizienz als auch Leistungsfähigkeit steigert. Meta hat mit der Veröffentlichung von Llama 4 eine neue Ära in der KI-Entwicklung eingeläutet. Diese Modelle, die […]
Stellenangebote
Duales Studium Informatik/Künstliche Intelligenz (B.Sc.), Campusmodell Stuttgart 2026 (w/m/d)
IT-Architekt:in (KI/BI)
Werkstudent für den Tribe Contact Center & Conversational AI (m/w/d)
