Согласно Jin10, OpenAI заявила, что выпустит эти рукописи, формальные сертификаты доказательств в Lean и объяснения процесса рассуждений, чтобы математики могли ознакомиться с результатами и дальше развивать соответствующие исследовательские идеи.