KI SpotlightNewsMeta: KI-Modell Muse Spark löst fünf offene Mathematikprobleme
Forscher nutzten Muse Spark 1.1 und 1.2 im Thinking Mode über die reguläre Chat-Oberfläche.
Mit KI erstelltInhalt
◆ Fakten auf einen Blick
- Meta veröffentlichte am 2. Oktober sechs Mathematik-Papiere.
- Die Papiere entstanden in Zusammenarbeit von Mathematikern mit Muse Spark 1.1 und 1.2 im Thinking Mode über die reguläre meta.ai-Chat-Oberfläche, ohne eigenes Research-Gerüst.
- Laut Meta lösen fünf der sechs Arbeiten zuvor offene Forschungsfragen.
- Die Themen umfassen Wahrscheinlichkeit, partielle Differentialgleichungen, Gruppentheorie, Optimierung, arithmetische Physik und nicht-assoziative Algebra.
- Muse Spark generierte GAP-Suchcode, der ein Gegenbeispiel zu einer gruppentheoretischen Vermutung fand; Forscher prüften und vervollständigten den Beweis. Laut alphasignal.ai handelte es sich um ein 384-elementiges Gegenbeispiel zu Kidas semiabelscher Vermutung von 2024.
- Die Papiere kennzeichnen, welche Passagen von Forschern bzw. KI verfasst wurden, und würdigen frühere Arbeiten.
Meta veröffentlicht sechs Mathematik-Papiere mit Muse Spark
Meta hat am 2. Oktober sechs mathematische Forschungsarbeiten veröffentlicht, die in Zusammenarbeit mit dem KI-Modell Muse Spark entstanden sind. Nach Angaben des Unternehmens lösen fünf der sechs Arbeiten zuvor offene Forschungsfragen. Die beteiligten Mathematiker nutzten die Versionen 1.1 und 1.2 von Muse Spark im Thinking Mode über die reguläre Chat-Oberfläche von meta.ai – ohne ein eigenes Forschungsgerüst oder eine spezielle Agentenumgebung. Die Arbeiten decken sechs Themengebiete ab: Wahrscheinlichkeit, partielle Differentialgleichungen, Gruppentheorie, Optimierung, arithmetische Physik und nicht-assoziative Algebra. Meta betont, dass die Forschung von Mathematikern geleitet wurde. Zuvor hatte Meta über goldmedaillenäquivalente Leistungen seiner Modelle bei fünf Mathematik-, Physik- und Chemie-Olympiaden berichtet.
Gegenbeispiel zu Kidas Vermutung gefunden
In der Gruppentheorie erzielte die Zusammenarbeit ein konkretes Ergebnis: Muse Spark generierte einen Suchcode in der Computeralgebra-Software GAP, der ein Gegenbeispiel zu einer Vermutung fand. Wie das Fachportal alphasignal.ai berichtet, handelte es sich um ein 384-elementiges Gegenbeispiel zu Kidas semiabelscher Vermutung aus dem Jahr 2024. Die beteiligten Forscher prüften das Beispiel und vervollständigten den Beweis. Damit ist die Vermutung widerlegt. Das Vorgehen zeigt, wie das KI-Modell unter Anleitung von Mathematikern Suchprogramme erstellen kann, deren Ergebnisse anschließend formal verifiziert werden.
Transparenz und Prüfprozess
Meta nennt drei Prinzipien für die Zusammenarbeit: Ein Team von Mathematikern leitete die Forschung und arbeitete mit Muse Spark an Ideen und Argumenten; eine zweite, unabhängige Gruppe prüfte die Ergebnisse; und die Autorenschaft wird transparent gekennzeichnet – jedes Papier markiert, welche Passagen überwiegend von Forschern und welche von der KI verfasst wurden. Zu den beteiligten Forschern gehören Aykut Arslan, der an Arbeiten zu Wahrscheinlichkeit und Optimierung mitwirkte, Leonard Dinh, der ein Problem zu Differentialgleichungen bearbeitete, sowie Joseph Phillip Brennan und Milana Golich, die an der gruppentheoretischen Vermutung arbeiteten. Weitere Forscher befassten sich mit arithmetischer Physik und nicht-assoziativer Algebra.
