AI löst Problem aus der Gruppentheorie und stellt Mathematiker vor neue Fragen
TL;DR
Ein Leserbrief im Guardian berichtet von einem Durchbruch des OpenAI-Modells Astra in der Gruppentheorie: Die Existenz nicht-sofischer Gruppen soll bewiesen worden sein. Der Autor Henry Bradford beschreibt den Beweis als geschickte Weiterentwicklung von Theoremen seiner Kollegen Gabor Kun und Andreas Thom. Damit stellt sich die Frage, wie sich der Wert menschlicher mathematischer Kreativität verändert, wenn AI tatsächlich neue Theorie entwickeln kann.
Nauti's Take
Der Fortschritt ist bemerkenswert: Wenn OpenAIs Astra die Existenz nicht-sofischer Gruppen tatsächlich bewiesen hat, verschiebt sich AI von der Rekombination bekannter Ideen zu eigenständiger Theoriearbeit. Die Grenze liegt in der Quellenlage, denn die Darstellung stammt aus einem einzelnen Leserbrief und ist unabhängig noch nicht geprüft.
Für AI-Teams gehört das auf die Beobachtungsliste, nicht in Versprechen über autonome Forschung.
Quellen