Die Mathematik-Veröffentlichung von OpenAI löste Kritik aus, nachdem The Decoder berichtet hatte, dass das Unternehmen mehr als 700 Manuskripte auf einmal veröffentlichte, darunter behauptete Lösungen für Hunderte offene Probleme. Anschließend reagierten mehr als 100 Forschende.
Terence Taos Reaktion fiel gemischt aus. Dem Bericht zufolge deutete er an, dass einige Beweise tatsächlich nützliche Ideen enthalten könnten. Zugleich beschrieb er tiefe Frustration über fehlende menschliche Erläuterungen und Diskussionen, die Mathematiker benötigen, um die Ergebnisse zu bewerten und darauf aufzubauen. Tao argumentierte zudem, dass die Ziele von KI-Unternehmen und der Mathematik-Community weit auseinanderliegen. Derselbe Bericht zitiert den Fields-Medaillenträger Hugo Duminil-Copin mit den Worten: „Der Schock ist immens. Ich bin wie gelähmt.“
In seiner Mathematik-Veröffentlichung erklärte OpenAI, dass viele Beweise Lean-Formalisierungen enthalten und mit der Zeit weiteres Material ergänzt werde. Die Kritik von Mathematikern verweist auf ein anderes Problem: Systeme können technische Behauptungen inzwischen schneller erzeugen, als Experten sie überprüfen, erklären oder anfechten können.