OpenAI hat eine Gruppe unabhängiger Wissenschaftler, darunter den Physik-Nobelpreisträger David Gross, gebeten, drei Beweise zu prüfen, die laut Unternehmensangaben seine KI-Modelle in Mathematik, Informatik und Physik erbracht hätten. Das teilte die Firma in einem Blogbeitrag vom 26. Oktober mit.
Laut OpenAI hätten seine Modelle die Exponential-Time-Hypothese (ETH) widerlegt, eine Annahme aus dem Jahr 1999, wonach bestimmte Rechenprobleme nicht schneller als eine festgelegte Grenze gelöst werden können. Der vorgeschlagene Algorithmus laufe schneller, als die Hypothese erlaubte, benötige in der Praxis aber zu viele Rechenressourcen, sodass das P-versus-NP-Problem damit nicht gelöst sei.
In der Mathematik hätten die Modelle die 1991 von Christopher Sogge vorgeschlagene lokale Glättungsvermutung, die zuvor nur für zwei Dimensionen bewiesen war, auf alle Dimensionen erweitert, so OpenAI. Das Unternehmen legte zudem Beweise für die Kakeya-Vermutung und Steins Fourier-Einschränkungsvermutung vor. In der Physik hätten die Modelle einen Existenzbeweis für wechselwirkende Quantenfeldtheorien in einer vierdimensionalen Raumzeit erbracht, darunter die Yang-Mills-Theorie, die die Wechselwirkung zwischen Elementarteilchen beschreibt.
Russell Impagliazzo und Ramamohan Paturi von der University of California in San Diego, die Urheber der ETH-Hypothese, sowie MIT-Professor Ryan Williams prüfen das Ergebnis aus der Informatik. Eine von Gross, der 2004 den Physik-Nobelpreis erhielt, geleitete Gruppe mit Michael Douglas, Arthur Jaffe, Igor Klebanov und Nikita Nekrasov prüft den physikalischen Beweis.
Die Prüfer betonten, ihre Beteiligung sei „nicht als Bestätigung“ der Schlussfolgerungen von OpenAI zu verstehen. Das Unternehmen selbst bezeichnet die veröffentlichten Materialien als rohe Forschungsdaten, die erst verstanden werden müssten, und nannte die beteiligten Wissenschaftler Kuratoren der Arbeit. Alle Beweise wurden auf GitHub in schriftlicher Form sowie im Format Lean veröffentlicht, das eine automatische Computerprüfung ermöglicht; die Lean-Version des Beweises zur lokalen Glättung trägt das Datum 19. Oktober, die ersten physikalischen Beweise datieren auf den 9. und 18. September.
OpenAI versprach außerdem 5 Millionen US-Dollar an die Simons Foundation für Workshops und Konferenzen zum Thema, darunter eine zu den Folgen der ETH-Widerlegung. Ob die Beweise Bestand haben, hängt von der Arbeit der externen Prüfer ab.
