Open Source Ki

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

Produktivität

Survival LLM ist ein kostenloser, quelloffener KI-Assistent und Notfall-Bibliothek, der vollständig auf Ihrem eigenen Computer läuft, aus vertrauenswürdigen Quellen antwortet und die Artikel auflistet, aus denen jede Antwort stammt.

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