Metas gewöhnlicher Weg zur Forschungsmathematik

Am 2. Oktober 2026 hat die Forschungsabteilung von Meta sechs mathematische Arbeiten auf Forschungsniveau veröffentlicht, entstanden aus der Zusammenarbeit externer Wissenschaftler mit dem Modell Muse Spark in den Versionen 1.1 und 1.2. Meta betont den methodischen Unterschied: kein eigens gebautes agentisches System, sondern der gewöhnliche Chat von meta.ai im 'Thinking Mode', ohne maßgeschneiderte Forschungsinfrastruktur. Über mehrere Monate wählten die menschlichen Forschenden die Probleme und Beweisstrategien aus, überprüften anschließend die Rechnungen des Modells und schlossen die Lücken in seinen Argumentationen. Laut Meta hat danach eine zweite Gruppe von Mathematikern die Arbeit unabhängig geprüft.

Die Ergebnisse betreffen sechs Fachgebiete, darunter Optimierung und nichtassoziative Algebra. In der Gruppentheorie widerlegt die Arbeit der Mathematiker Joseph Phillip Brennan und Milana Golich eine 2024 von M. Kida formulierte Vermutung: Sie finden ein konkretes Gegenbeispiel — eine endliche semiabelsche Gruppe der Ordnung 384 — mithilfe von GAP-Suchcode, den das Modell erzeugt hat, wie das Portal AlphaSignal dokumentiert. Die zeitliche Priorität ist allerdings nicht vollständig: Metas eigener Beitrag weist darauf hin, dass in mindestens drei Fällen andere im selben Zeitraum zu parallelen Ergebnissen kamen — drei Arbeiten vom August 2026 zur Anpassung gaußscher Ellipsoide, ein anderes Gegenbeispiel zu semiabelschen Gruppen, das der KI-Agent Nilradical am 16. September fand, und die Gegenbeispiele von Hu und Wen zu Evolutionsalgebren.

Auch methodisch ist Vorsicht geboten. Die Texte werden als PDF auf Metas Website verbreitet, und der Vorstellungsbeitrag erwähnt keine Begutachtung durch wissenschaftliche Fachzeitschriften. Zudem räumt die Arbeit zur Anpassung gaußscher Ellipsoide im eigenen Text ausdrücklich ein, dass das Verhalten an der kritischen Schwelle ungeklärt bleibt. Meta liefert keine Zahlen dazu, wie viele Versuche gescheitert sind oder aufgegeben wurden, und auch nicht dazu, wie viel Zeit die Forschenden tatsächlich gespart haben; ebenso fehlt eine genaue Bezifferung des Modellbeitrags zu jeder Arbeit, auch wenn die Dokumente angeben, welche Passagen von der KI verfasst wurden.

Das Experiment legt nahe, dass auch ein öffentlicher Chat ohne eigens errichtetes Gerüst zur Forschung beitragen kann: Wie oft das gelingt, bleibt allerdings außerhalb der Daten, denn die ins Leere gelaufenen Versuche wurden nicht gezählt. In den sechs geschilderten Fällen blieb die Strenge Sache der menschlichen Kontrolle. Das Modell wirkt weniger wie ein autonomer Mathematiker als wie ein Werkzeug, um Ideen zu erkunden, Gegenbeispiele zu suchen und den Code zu schreiben, der sie aufspürt — bei den semiabelschen Gruppen reichte das, um eine Vermutung von 2024 zu Fall zu bringen —, und sein tatsächlicher Nutzen hängt von der Geduld derer ab, die seine Grenzen prüfen. — Olya