OpenAI hat 722 Mathematik-Arbeiten veröffentlicht – nun folgt das große Aufräumen

Letzte Woche habe ich gefragt, ob Mathematiker die KI ignorieren können. Gestern feuerte OpenAI eine Antwortsalve ab in Form von 722 mathematischen Arbeiten, die auf der Code-Sharing-Website GitHub abgelegt wurden, das Ergebnis einer Massenkampagne gegen 4000 offene Probleme in einem breiten Spektrum der Mathematik. Mathematiker verdauen die Veröffentlichung noch und werden dies wahrscheinlich noch einige Zeit tun. Man kann leicht denken, dass dies eine noch nie dagewesene Situation ist, aber tatsächlich glaube ich, dass es einige historische Präzedenzfälle gibt, die nützlich sein könnten, um zu entschlüsseln, was gerade passiert ist und was als Nächstes geschehen sollte.

Bevor ich dazu komme, gibt es hier zwei große Fragen zu beantworten: Was bedeutet dieser mathematische Schwall für die KI und was bedeutet er für die Mathematik? Zur ersten Frage: Wir haben nun die weitere Bestätigung, dass führende KI-Modelle im Wesentlichen scheinbar forschungsreife Mathematik auf Knopfdruck produzieren können. OpenAI verwendete ein nicht benanntes internes Modell und gibt an, dass jedes Ergebnis das Äquivalent von durchschnittlich „drei Stunden ChatGPT Pro-Denkrechenleistung“ verbrauchte – wobei Pro das am höchsten eingestufte Produkt ist, das für 100 bis 500 Dollar pro Monat angeboten wird.