Veröffentlicht von Dogpay ·
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.