Open Source Models

Produktivität

KI kann mathematische Sicherheitsbeweise für Open-Source-Bibliotheken generieren, was die Software-Verifikation verbessert und Schwachstellen reduziert.

Rock Matrix hat EdgeRock-4B als Open Source veröffentlicht, entwickelt aus Qwen3.5-4B mit HKUST und CMU. Das Modell behält einen festen KV-Cache von 72 MiB bei 256K Kontext, gegenüber 8 GiB zuvor, und bietet laut dem Unternehmen den 6,42-fachen Durchsatz, während es die meisten seiner Reasoning-Werte beibehält.

KI-Modelle • Pandaily

Nvidia hat Nemotron 3.5 Transcribe veröffentlicht, ein Modell mit offenen Gewichten für mehrsprachige Audiotranskription und -übersetzung, das laut dem Unternehmen eine Benchmark-Bestenliste anführt, zusammen mit Granary v2, seinem Open-Source-Sprachdatensatz.

KI-Modelle • Techmeme

Basierend auf einem Transkriptauszug: Matthew Berman demonstriert das neueste Open-Source-Modell von DeepSeek, indem er dessen Fähigkeit testet, ein detailliertes interaktives Diagramm einer mechanischen Uhr in 3D auf einer einzigen Webseite zu generieren. Das Video zeigt das räumliche Bewusstsein des Modells, seine 3D-Generierungsfähigkeiten und sein internes Wissen und positioniert es als führende Open-Source-Option.

AI Models & Capabilities • Matthew Berman