OpenAI hat eine Sammlung von 722 Mathearbeiten in einem öffentlichen GitHub-Repository veröffentlicht. Die Arbeiten sind in 372 Ergebnisgruppen zusammengefasst, die thematisch verwandte Erkenntnisse bündeln. Das Unternehmen erklärt, die Arbeiten stammten von einem noch nicht veröffentlichten Spitzenmodell und enthielten Lösungen für „Hunderte“ offene Fragen. Zu dieser Einschätzung kam eine unabhängige Gruppe von Mathematikern, die Advisory Group on Mathematics and Artificial Intelligence (AGMAI). OpenAI veröffentlichte außerdem kurze Zusammenfassungen der Lösungswege, Schätzungen zum Rechenaufwand und Angaben dazu, wie viele Probleme angegangen wurden.
So lief die Veröffentlichung ab
OpenAI kündigte an, dass für jede Arbeit im Repository ein Verfahren für Überarbeitungen und Zitate festgelegt wird. Das Unternehmen erklärte, es werde weiterhin nach von der Community betriebenen Plattformen suchen, die den Richtlinien von AGMAI entsprechen. Die Anfang dieses Jahres gegründete Gruppe hatte KI-Labore aufgefordert, ihre Ergebnisse über etablierte akademische Kanäle zu veröffentlichen und Durchbrüche nicht als Marketinginstrument zu nutzen.
Warum es wichtig ist
Für Mathematikerinnen und Mathematiker bilden die Arbeiten einen umfangreichen Fundus neuer Ergebnisse, die überprüft werden müssen und die Forschung in einigen Bereichen beschleunigen könnten. Für die breite Öffentlichkeit zeigt die Veröffentlichung, wie KI formale mathematische Lösungen hervorbringen kann. Zugleich wirft sie Fragen dazu auf, wie solche Arbeiten anerkannt und geprüft werden, bevor sie genutzt werden.
