OpenAI hat 372 von einem internen KI-Modell erzeugte Lösungen oder Fortschritte zu offenen Mathematikproblemen auf GitHub veröffentlicht. Jedes Ergebnis benötigte im Schnitt etwa drei Stunden ChatGPT-Pro-Rechenzeit; viele Beweise sind mit Lean maschinell prüfbar. 25 Fields-Medaillenträger warnen vor