GPT-6 Astra löst Debatte über künstliche allgemeine Intelligenz (AGI) aus, während OpenAIs Sicherheitswarnungen auf KI-Expansion stoßen

Trend Eins: GPT-6 Astra löst AGI-Debatte aus – OpenAIs innerer Widerspruch tritt zutage​

Am 4. September veröffentlichte OpenAI GPT-6 Astra, sein bislang leistungsstärkstes Modell. NVIDIA-CEO Jensen Huang postete auf X, dass „AGI angekommen ist“, und OpenAI-Präsident Greg Brockman erklärte in einer Telefonkonferenz: „Willkommen in der AGI-Ära.“ Astra wurde Berichten zufolge mit über 100.000 NVIDIA Grace Blackwell NVLink72-GPUs trainiert, unterstützt die autonome Steuerung professioneller Software wie Blender, Photoshop und Unity und hat die Halluzinationsrate auf etwa 2 % gesenkt. Huang gab bekannt, dass die nächste Charge von 400.000 GPUs in Kürze online gehen wird.​

Am 6. September berichtete CNBC über zunehmende „Modellmüdigkeit“ in der Branche. Innerhalb einer einzigen Woche: Anthropic aktualisierte Fable und Mythos (1. September), Meta veröffentlichte Muse Spark 1.3 (2. September), Google brachte Gemini 3.8 Flash auf den Markt (2. September), OpenAI veröffentlichte GPT-6 Astra (4. September), und die MBZUAI aus Abu Dhabi veröffentlichte ihre K2-Horizon-Reihe als Open Source. Gartner prognostiziert für 2026 KI-Ausgaben in Höhe von 2.59 Billionen US-Dollar, ein Anstieg von 47 % gegenüber 2025, wobei über die Hälfte in die Infrastruktur fließt. Runpod-CEO Zhen Lu merkte an, dass Modellmüdigkeit „definitiv zu einem echten Problem geworden ist“, während Clockwork Systems-CEO Suresh Vasudevan beobachtete, dass „jede Veröffentlichung jetzt so wahnsinnig stark ist, dass es schwer zu beurteilen ist, was als echter Sprung nach vorn zählt.“​

Unterdessen gelang Anthropics Claude der erste durchgängig formalisierte Beweis von Fermats letztem Satz im Lean-Beweisassistenten, der 11 Tage lang autonom lief. Das System generierte aus der Aussage des Satzes vollständigen Lean-Code bis zur Kernel-Typüberprüfung, ohne menschliches Eingreifen bei der Beweiszerlegung. Der Mathematiker Kevin Buzzard vom Imperial College kommentierte, dass dies „einen großen Schritt in Richtung einer automatischen Formalisierung der gesamten modernen mathematischen Literatur“ darstellt.