Themen › Folge 17

KI als Mathematiker: Was Metas Muse Spark wirklich gelöst hat

Stand: 20. Oktober 2026 · Redaktion KI News Kompakt · zur Folge 17

Kurz gesagt: Meta-Forscher und Muse Spark lösen laut Meta fünf offene Mathe-Fragen. Was die KI beitrug, wer prüfte und was Kritiker sagen.

Stand: 20. Oktober 2026. Meta hat am 2. Oktober 2026 sechs mathematische Fachaufsätze vorgestellt, die Forscher gemeinsam mit dem KI-Modell Muse Spark verfasst haben. Fünf davon beantworten laut Meta bislang offene Fragen. Zeitgleich melden Google DeepMind und OpenAI eigene Ergebnisse – und unter Mathematikern ist eine Debatte darüber entbrannt, was das für ihr Fach bedeutet.

Was passiert ist

Laut dem Blogbeitrag von Meta entstanden die Aufsätze nicht in einem eigenen Forschungssystem, sondern über die gewöhnliche Chat-Oberfläche von meta.ai, mit Muse Spark im Denkmodus – einer Form von Reasoning-Modell. „Offen“ bedeutet: Die Frage oder Vermutung war formuliert, aber bisher von niemandem bewiesen oder widerlegt. Es gibt kein Lösungsheft und keine Garantie, dass ein Ansatz trägt. Die Themen reichen von Wahrscheinlichkeitsrechnung, Differentialgleichungen, Gruppentheorie und Optimierung bis zu einer Verbindung von Zahlentheorie und Physik sowie einer speziellen Form der Algebra.

Was die KI konkret beigetragen hat

Der Beitrag der KI unterscheidet sich je nach Aufsatz deutlich:

• Gruppentheorie: Eine Vermutung aus einem Fachaufsatz von 2024 besagte, dass alle Gruppen einer bestimmten Sorte auch eine bestimmte, praktische Eigenschaft haben. Muse Spark schrieb ein Suchprogramm für die Mathematiksoftware GAP, das eine Gruppe mit 384 Elementen fand, die diese Regel bricht. Damit ist die Vermutung widerlegt. Ein solches Gegenbeispiel lässt sich rechnerisch prüfen; Milana Golich und ihr Team haben es geprüft und den Beweis ausgearbeitet.
• Kollabierende Wellen: Bei einer an die Laserphysik angelehnten Frage, die seit 2015 als offen galt und für die eine Simulation von 2002 einen Kollaps vorhersagte, liegt nun ein Beweis für einen bestimmten Fall vor. Problem und zentrale Beweisideen stammten vom Mathematiker Leonard Dinh; die KI rechnete und spielte Argumente durch.
• Zahlentheorie und Physik: Hier half die KI, eine Verbindung zwischen Zahlentheorie und einer Variante der Stringtheorie aufzuspüren, lieferte Beweisentwürfe und schrieb drei zentrale technische Abschnitte vor. Die Forscher prüften und korrigierten diese.

In den Aufsätzen ist gekennzeichnet, welche Passagen überwiegend von der KI stammen. Bei 5 der 6 Arbeiten nennt Meta zusätzlich Mathematiker, die die Argumente durchgesehen haben.

Die Einschränkungen

Es handelt sich um Vorabveröffentlichungen; eine Fachzeitschrift hat bislang keine davon angenommen. Meta hat keine Gesprächsverläufe veröffentlicht, sodass unklar bleibt, wie viele Versuche fehlschlugen, wie Tech Times anmerkt. Meta legt selbst offen, dass bei 3 der 6 Fragen andere Gruppen unabhängig zu gleichen oder ähnlichen Ergebnissen kamen. Zur Gruppentheorie hatte ein anderer KI-Agent bereits am 16. September 2026 ein eigenes Gegenbeispiel gemeldet.

Die Einordnung: ein Wettlauf mit offenen Fragen

Meta ist nicht allein. Ein Agent von Google DeepMind löste im Mai 2026 laut Quanta Magazine 9 von 353 offenen Problemen des Mathematikers Paul Erdős, für einige hundert Dollar pro Problem. OpenAI veröffentlichte am 6. Oktober 2026 Ergebnisse eines noch unveröffentlichten Modells mit ganzen oder teilweisen Lösungen zu mehr als 370 offenen Problemen, wie Fortune berichtete. Nur ein Teil der Beweise ist per Software lückenlos geprüft. Bereits einen Tag später zog OpenAI drei Arbeiten wegen eines Vorzeichenfehlers zurück – ein Beispiel dafür, dass KI-Ergebnisse plausibel wirken und dennoch falsch sein können, ähnlich einer Halluzination.

Die Fachwelt ist gespalten. Dan Litt von der Universität Toronto nennt die Ergebnisse großartig für die Mathematik, befürchtet aber, Geldgeber könnten das Fach für erledigt halten. Terence Tao warnte am 3. September 2026 auf Mathstodon, das wahllose, automatisierte Abgrasen offener Probleme könne das Ökosystem zerstören. Am 8. September schrieb er, knapp sei nun nicht mehr die Lösung, sondern die Fähigkeit, ein lohnendes Problem zu erkennen. Nach OpenAIs Veröffentlichung kritisierte er, dass keiner der beteiligten Menschen für Rückfragen zur Verfügung stehe.

Bemerkenswert an Metas Vorgehen ist vor allem die Arbeitsteilung: Menschen haben die Fragen ausgewählt, die Ergebnisse geprüft und die Verantwortung übernommen. Das entspricht der Leidener Erklärung vom 2. Juni 2026, die von der Internationalen Mathematischen Union unterstützt wird: KI-Einsatz offenlegen, Ergebnisse unabhängig überprüfbar halten, Verantwortung für die Richtigkeit beim Menschen belassen. Mehr zum Thema im Glossar unter KI in der Wissenschaft.

Was heißt das für dich

• KI eignet sich inzwischen gut zum Suchen, Rechnen und Durchspielen von Varianten.
• Sie liefert aber auch Ergebnisse, die überzeugend klingen und trotzdem falsch sind.
• Die Maschine darf vorschlagen; prüfen, auswählen und die Verantwortung übernehmen bleibt Aufgabe des Menschen – nach dem Prinzip Human in the Loop.

In Folge 17 von KI News Kompakt geht es ausführlicher darum, was die Maschine löst und was der Mensch noch tut.

Häufige Fragen

Begriffe aus dem Artikel

Weitere Themen