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 setzt mit Llama 4 neue Maßstäbe in der KI-Entwicklung
MENLO PARK / MÜNCHEN (IT BOLTWISE) – Meta hat mit der Einführung seiner Llama 4 Modelle einen bedeutenden Schritt in der KI-Entwicklung gemacht. Diese neuen Modelle versprechen eine verbesserte Leistung in nahezu allen Bereichen und könnten die Art und Weise, wie Unternehmen KI nutzen, grundlegend verändern. Meta hat kürzlich seine neuen Llama 4 Modelle vorgestellt, […]
Google stellt Gemma 3 vor: Offene KI-Modelle mit bis zu 27 Milliarden Parametern
MÜNCHEN (IT BOLTWISE) – Google hat kürzlich seine neueste Sammlung offener KI-Modelle, Gemma 3, vorgestellt. Diese Modelle repräsentieren einen bedeutenden Schritt in der Entwicklung von Künstlicher Intelligenz, indem sie bis zu 27 Milliarden Parameter umfassen. Die Initiative zielt darauf ab, ein transparentes und kollaboratives KI-Ökosystem zu fördern und die Position von Google im Bereich der […]
Stellenangebote
Bachelorand (m/w/d) im Bereich Innovations - Optimierung kapazitiver Sensorsysteme durch KI
Werkstudent*in für KI-gestützte Fallbearbeitung (d/m/w)
Duales Studium BWL - Spezialisierung Artificial Intelligence (B.A.) am Campus oder virtuell
