OpenAI gab die Gründung eines mathematischen Beirats bekannt, der aus führenden akademischen Mathematikern besteht und einen formellen Schritt zur Integration von KI-Werkzeugen in die Spitzenforschung der reinen Mathematik darstellt.
Der Beirat wurde einberufen, nachdem OpenAIs neueste Reasoning-Modelle — mutmaßlich Iterationen der o-Serie — mehr als 100 mathematische Probleme erfolgreich gelöst hatten, die in der Forschungsliteratur bisher offen geblieben waren. Diese Probleme erstreckten sich über mehrere Bereiche der Mathematik, darunter Zahlentheorie, Kombinatorik und algebraische Geometrie.
Die Mathematiker des Panels werden OpenAI beraten, wie KI-Systeme für mathematische Entdeckungen verantwortungsvoll eingesetzt werden können, Korrektheit und Neuheit von KI-generierten Beweisen bewerten und dabei helfen, wertvolle Forschungsrichtungen zu identifizieren, bei denen KI-Unterstützung den Fortschritt beschleunigen könnte.
Die Ankündigung hat die mathematische Gemeinschaft gespalten. Befürworter argumentieren, dass KI riesige kombinatorische Räume verarbeiten und Muster erkennen kann, die der menschlichen Intuition entgehen, was das Tempo der Entdeckung in Bereichen beschleunigen könnte, in denen der Fortschritt sich über Jahrzehnte erstreckte. Kritiker widersprechen mit dem Argument, dass die Lösung offener Probleme nur dann wertvoll ist, wenn die Beweise von Menschen überprüfbar und konzeptionlich aufschlussreich sind und nicht nur Ausgabe eines Systems darstellen, das niemand vollständig prüfen kann.
OpenAI räumte diese Bedenken ein und erklärte, dass alle KI-generierten Beweise vor der Veröffentlichung einer rigorosen Überprüfung durch menschliche Mathematiker unterzogen werden und dass die Aufgabe des Beirats auch die Festlegung von Standards dafür beinhaltet, was als sinnvoller Beitrag zum Feld gilt.
Die Entwicklung vollzieht sich angesichts eines breiteren Trends, bei dem KI-Systeme Einzug in die wissenschaftliche Forschung halten. DeepMinds AlphaFold hat die Proteinstrukturvorhersage revolutioniert, und die KI-gestützte Materialentdeckung hat in den letzten Jahren an Dynamik gewonnen. Doch die Mathematik galt lange als ein einzigartig menschlicher Bereich — in dem Kreativität und formales Denken untrennbar sind —, was OpenAIs Behauptungen besonders bemerkenswert macht.
Der Beirat soll seine ersten Empfehlungen zu Best Practices für KI-unterstützte mathematische Forschung bis Anfang 2027 veröffentlichen.
