Laut Jin10 sagte OpenAI, dass es diese Manuskripte, formale Lean-Beweiszertifikate und Erklärungen zum Begründungsprozess veröffentlichen werde, damit Mathematiker die Ergebnisse überprüfen und die relevanten Forschungsideen weiterentwickeln können.