AI TrackerAI-News,
sortiert für Entwickler.
Launches, Preisänderungen und Abkündigungen aller AI-Anbieter, zusammengefasst. Derselbe Feed wie im News-Tab der App.
Axiom zufolge haben KI-Agenten die Klassifikation der endlichen einfachen Gruppen in Lean formalisiert
Axiom, ein KI-Mathematikunternehmen, gab auf X eine vollständige automatische Formalisierung der Klassifikation der endlichen einfachen Gruppen in Lean bekannt – ein Ergebnis, das es als „periodisches System der Symmetrie“ bezeichnet. Den ursprünglichen Beweis beschreibt das Unternehmen als rund 15.000 Seiten lang und von über 100 Mathematikerinnen und Mathematikern über mehrere Generationen hinweg verfasst. Es bezeichnet ihn als den größten mathematischen Beweis der Geschichte, der per Computer verifiziert wurde.
Ling veröffentlicht die offenen Gewichte von Ling-3.1-flash-1019 und ein Basismodell
Das Ling-Team teilt mit, dass Ling-3.1-flash-1019 jetzt Open Source ist und die Gewichte auf Hugging Face und ModelScope verfügbar sind. Außerdem hat es Ling-3.1-flash-base veröffentlicht, das es als offene Grundlage für weiteres Training beschreibt. Das Team zufolge wurde das neue Modell zusätzlich für Reasoning und praxisnahe Agent-Workflows nachtrainiert.OpenRouters Katalog nennt für Meta: Llama 3.1 70B Instruct den 3. November als Ablaufdatum
OpenRouters Modellkatalog zeigt jetzt für „Meta: Llama 3.1 70B Instruct“ (meta-llama/llama-3.1-70b-instruct) ein Ablaufdatum am 3. November 2026 an. Das Modell ist seit dem 23. Juli 2024 gelistet und hat ein Kontextfenster von 131.072 Tokens. Zuvor war für den Eintrag kein Ablaufdatum angegeben. Dabei handelt es sich um ein Katalogfeld; weder OpenRouter noch Meta haben nach dem, was wir gesehen haben, einen Grund genannt, und aus dem Eintrag geht nicht hervor, was nach diesem Datum mit dem Modell geschieht.OpenCode ergänzt Plugins für OpenCode Desktop
LukeParkerDev kündigte am 27. Oktober auf X Plugins für OpenCode Desktop an, zusammen mit einem kurzen Demovideo und einem Link zur OpenCode-Dokumentation zum Erstellen von GUI-Plugins. thdxr, der den Beitrag zitierte, sagte, die Desktop-Plugins führten dasselbe Muster wie OpenCodes TUI-Plugins fort, sodass ein Paket Server-, TUI- und Desktop-Plugins enthalten könne, und bezeichnete das rechte Seitenpanel als guten Platz für nützliche Erweiterungen. Der Beitrag wurde auch vom OpenCode-Konto erneut geteilt.
Maya-2, ein Sprachmodell für indische Sprachen, erscheint mit offenen Gewichten
Maya-2, ein Sprachmodell zur Sprachsynthese mit Fokus auf Indien, wurde am 27. Oktober unter dem Hugging-Face-Namen maya-research/maya2-native mit offenen Gewichten veröffentlicht. Laut der Ankündigung auf X deckt es mehr als 1,5 Milliarden Menschen in allen 28 Bundesstaaten und 8 Unionsterritorien ab.