|
$ ki-news --datum 2026-09-07 | mail
KI-News — Montag, 7. September 2026
// die viralsten KI-Themen der letzten 24 Stunden, kuratiert für deinen Stack
$ cat top-story.md
Über die Formalisierungsplattform Prove2Me (Columbia University) und den Beweisassistenten Lean haben mehrere Claude-Agenten in 11 Tagen für geschätzt 100.000–300.000 US-Dollar (~6 Mrd. Output-Tokens) 13 Millionen Zeilen maschinell verifizierten Code erzeugt und dabei rund 29.500 Zwischen-Theoreme bewiesen – über fünfmal so umfangreich wie die gesamte Mathlib-Bibliothek. Ergebnis: erstmals liegt ein vollständig computergeprüfter Beweis von Fermats letztem Satz vor. Mathematisch neu ist der Beweis nicht (er stammt von Andrew Wiles, 1995) – neu ist, dass ihn jetzt eine Maschine lückenlos nachvollzogen hat.
Warum relevant: Zeigt eindrucksvoll, wie weit lang laufende, koordinierte Multi-Agenten-Workflows (Aufgaben-Graph, Parallelisierung, Vermeidung von Kontextverlust) inzwischen skalieren – ein Muster, das sich auch auf große eigene Automatisierungs- und Agenten-Projekte übertragen lässt.
// quelle: Anthropic Research · heise online
$ gh trending --weekly --ai --top 5
├─ 1. tt-a1i/archify ⭐ 51.199 (+17.190 diese Woche)
Agent-Skill, das aus Textbeschreibungen oder Codebasen interaktive Architektur-, Workflow-, Sequenz- und Datenfluss-Diagramme als eigenständige HTML/SVG-Dateien erzeugt, für Cursor, Claude Code, Codex CLI & OpenCode. Warum spannend: Ersetzt mühsames manuelles Diagrammzeichnen direkt im Agenten-Workflow, etwa für PR-Reviews.
Regelwerk für Coding-Agenten (Claude Code, Codex, Copilot CLI, Cursor, Windsurf u.a.), das per "Laziness Ladder" vor jeder Codegenerierung erzwingt, Wiederverwendung und Stdlib-Lösungen zu prüfen; laut eigenen Benchmarks ~54% weniger Code. Warum spannend: Direkter Hebel gegen Agenten, die routinemäßig zu viel eigenen Code erfinden.
├─ 3. THU-MAIC/OpenMAIC ⭐ 32.547 (+9.193 diese Woche)
Open-Source-Projekt der Tsinghua-Universität, das aus Themen oder Dokumenten per Multi-Agent-Orchestrierung (LangGraph) interaktive virtuelle Klassenzimmer mit sprechenden KI-Lehrern, Quizzes und Simulationen erzeugt. Warum spannend: Zeigt, wie weit koordinierte Multi-Agent-Setups inzwischen jenseits von Coding tragen.
Vollständig lokale Open-Source-Alternative zu ElevenLabs: Voice-Cloning, Text-to-Speech (16 Engines), Spracherkennung (11 Engines, 646 Sprachen), Video-Dubbing, OpenAI-kompatible API. Warum spannend: Komplette Voice-Pipeline zum Self-Hosten, ganz ohne Cloud-Abo.
Über 165 sicherheitsgeprüfte Agent-Skills für wissenschaftliche Workflows (Genomik, Wirkstoffforschung, Materialforschung u.a.), kompatibel mit Claude Code, Cursor, Codex und Google Antigravity. Warum spannend: Fertige, geprüfte Skill-Bausteine statt Prompt-Bastelei für Fachanwendungen.
## 📦 Modelle & Releases
"Muse Voice Transcribe" von Metas Superintelligence Labs transkribiert Sprache in 80-Millisekunden-Häppchen in Echtzeit und erkennt dabei gleichzeitig Sprecherwechsel und Satzgrenzen – für über 20 gleichzeitige Sprecher, 70+ Sprachen, ab 0,18 US-Dollar pro Stunde. Warum relevant: Interessante Referenzarchitektur für alle, die eigene Voice-Pipelines bauen. // the-decoder.de
Abliteration.ai entfernt bei offenen Modellen wie GLM-5.3 gezielt eingebaute Sicherheitsmechanismen ("Abliteration") und verkauft API-Zugriff darauf – offiziell für Red-Teaming und Agenten-Validierung, ganz ohne Identitätsprüfung. Warum relevant: Zeigt, wie leicht sich frei verfügbare Gewichte modifizieren lassen – wichtig, um Sicherheitsversprechen offener Modelle richtig einzuschätzen. // the-decoder.de
## 🏠 Self-Hosting & RAG
Nach dem 12,9-Mrd.-Dollar-Deal rät VentureBeat allen, die produktiv mit heruntergeladenen Gewichten arbeiten: Modell-Artefakte selbst spiegeln, konkrete Versionen pinnen und Artefakt-Speicherung von der Inferenz-Laufzeit entkoppeln. Warum relevant: Konkrete Absicherung für den eigenen vLLM-Stack, falls Hugging Face sich als Verteilplattform künftig ändert. // VentureBeat
## 📰 Lesenswert
Die Musikverlage werfen Anthropic vor, zehntausende Songs (u.a. von Taylor Swift, Mariah Carey, Marvin Gaye) über Piraterie-Archive wie Library Genesis fürs Training von Claude genutzt zu haben, und fordern bis zu 150.000 US-Dollar pro Song; Dario Amodei ist persönlich mitverklagt. Warum relevant: Dritte große Copyright-Klage gegen Anthropic nach dem 1,5-Mrd.-Vergleich mit Autoren – kann Trainingsdaten- und Preispolitik von Claude beeinflussen. // Engadget
Laut OpenAI-Entwickler Thibault Sottiaux lief GPT-6 Astra intern schon Monate vor Release als Coding-Agent mit und hat mehrere Projekte um rund sechs Monate vorgezogen – "der größte Wettbewerbsvorteil von OpenAI", solange das Modell nicht öffentlich war. Warum relevant: Zeigt den realen Produktivitätsschub aktueller Top-Modelle als interner Coding-Agent, noch vor deren Release. // the-decoder.de
Forscher:innen des King's College London argumentieren, dass sich unter intensiver Chatbot-Nutzung psychotische Symptome verschärfen können, weil übermäßig zustimmende KI-Systeme Überzeugungen zirkulär verstärken statt sie zu hinterfragen. Warum relevant: Wichtiger Kontext für alle, die KI-Chats intensiv nutzen oder Assistenten für andere konfigurieren. // the-decoder.de
## 🎬 Sehenswert
Kurztest von Notebooks mit Nvidias neuen Chips und 128 GB gemeinsam genutztem RAM – genug, um deutlich größere lokale Modelle als üblich komplett im Speicher zu halten. Warum relevant: Direkt interessant für alle, die eigene Inference-Hardware für größere lokale Modelle planen. // c't 3003 / YouTube DE
Einordnung ungewöhnlicher Verhaltensweisen und Fähigkeiten von Claude Fable 5.1 jenseits der reinen Release-Schlagzeilen. Warum relevant: Gute Ergänzung, um die eigenen Erwartungen ans neue Fable-Modell realistisch einzuordnen. // Two Minute Papers / YouTube EN
$ echo "automatisch recherchiert am 2026-09-07"
> ki-news · news.reichenberg.ruhr
[ abbestellen ]
[ im browser ansehen ]
|