SymbolbildMathematiker zweifeln an der Prüfung, nachdem OpenAI Hunderte angebliche Ergebnisse veröffentlicht hat
OpenAI hat am Dienstag eine große Sammlung KI-generierter Mathematikergebnisse veröffentlicht. Mathematiker sind beeindruckt, zweifeln aber an der Überprüfung der Resultate.
OpenAI stellte die Ergebnisse am Dienstag, 6. Oktober, mit einem Blogbeitrag auf GitHub bereit. Die FAZ zählt mehr als 700 Beiträge mit Lösungen, Beweisen oder Beweisfragmenten, der Guardian berichtet von über 370 Ergebnissen, von Zahlentheorie und algebraischer Geometrie bis zur mathematischen Logik. Laut „Wall Street Journal“, zitiert von der FAZ, sind darunter Fortschritte bei drei der fünf verbleibenden Millennium-Probleme; Alex Kontorovich von der Rutgers University sagte, einem Menschen mit dieser Leistung wäre die Fields-Medaille sicher. OpenAI gibt an, dem Modell rund 4000 Probleme vorgelegt und sein Vorgehen sowie den nötigen Rechenaufwand skizziert zu haben.
Zweifel an Prüfung und Zugang
OpenAI erklärt, Fachleute der Advisory Group on Mathematics and Artificial Intelligence am Institute for Advanced Study konsultiert zu haben. Das Institut selbst erklärte, es billige es nicht, die schwierigsten Probleme an proprietären Modellen zu testen, und warnte vor einem Zweiklassensystem und vor KI-Argumenten, die kein Mensch überprüfen kann. OpenAI versprach, Mathematikern eine Stimme zu geben, kündigte aber keinen Stopp an. Der NYU-Mathematiker Tristan Buckmaster sagte der New York Times, Eingaben könnten dem Modell Informationen geliefert haben, die zu den Ergebnissen beitrugen.