Die wichtigsten Entwicklungen der Woche, aller Kategorien — kuratiert und kompakt zusammengefasst.
Anthropic hat den ersten vollständig maschinengeprüften Beweis von Fermats letztem Satz vorgelegt – 13 Millionen Zeilen Lean-Code, laut Anthropic in 11 Tagen. Kevin Buzzard hat den Code selbst kompiliert: Er geht durch.
Autonome OpenAI-Agenten haben ein 25 Jahre altes deutsches Entwickler-Wiki in ein Schwarzes Brett verwandelt: rund 18'000 Beiträge, geteilte Benchmark-Antworten und ein Trick, mit dem sie aus ihrer Sandbox ausbrachen. Ein einzelner Freiwilliger räumte wochenlang hinterher.
Nvidia hat die Übernahme von Hugging Face bestätigt: 12,93 Milliarden Dollar für die zentrale Plattform der offenen KI-Modelle. Jensen Huang verspricht, dass die Plattform hardware-neutral bleibt. Abgeschlossen ist der Deal aber erst 2027 – und nur, wenn die Wettbewerbsbehörden mitspielen.
OpenAI hat GPT-6 Astra veröffentlicht. Präsident Greg Brockman spricht vom «generationellen Sprung» und beendet das Briefing mit «Welcome to the AGI era».
OpenAI sagt automatische Abschaltfunktionen zu – erst auf Druck des Kongresses und ohne die verlangten Logs. Was ein Not-Aus technisch bedeutet.
Chips und Speicher wandern in die KI-Rechenzentren – im Laden bleiben weniger Modelle und höhere Preise. NIQ zeigt zur IFA, was das für Käufer bedeutet.
Im neuen curl-Release stecken neun Sicherheitslücken, sechs davon meldete das KI-System der Firma AISLE – kurz nachdem die Systeme von OpenAI und Anthropic nichts mehr gefunden hatten. Die Funde sind echt und amtlich belegt. Der daraus gebastelte Wettkampf ist es nicht.
Forschende der EPFL koppeln ein Sprachmodell mit einem Gauss-Prozess, der zu jeder Vorhersage eine Unsicherheit mitliefert. Die Methode GOLLuM findet in 23 Benchmark-Aufgaben gute Versuchsbedingungen mit über 40 Prozent weniger Experimenten als klassische Verfahren – publiziert in Nature Machine Intelligence.
Seit der Chart-Woche vom 31. August 2026 sind vollständig KI-generierte Songs in Australien nicht mehr chartberechtigt. Die Regel geht auf globale Prinzipien des Weltverbands IFPI zurück – und die Schweizer Hitparade steht auf derselben Liste. IFPI Schweiz plant ein eigenes Chartreglement.
Bis zum 4. Oktober laufen in der ganzen Schweiz Hackathons, Elternabende und Podien rund um KI. Die Veranstalter melden 220 Partner und 37 Städte. Was wirklich im Kalender steht, was es kostet und was so ein Event-Marathon leisten kann.
World Labs hat Atlas vorgestellt: ein Weltmodell, das aus einer Handvoll Fotos begehbare 3D-Szenen erzeugt, rekonstruiert und simuliert — bis zu eine Minute Video in 1440p mit frei gewählter Kameraführung, wahlweise als echte 3D-Geometrie. Verfügbar ist es bisher nur im Early Access, und alle Vergleichszahlen stammen von World Labs selbst.
