Theo Jin10, OpenAI cho biết họ sẽ phát hành các bản thảo này, các chứng chỉ chứng minh Lean chính thức, và giải thích quy trình lập luận để các nhà toán học xem xét các kết quả và phát triển thêm các ý tưởng nghiên cứu liên quan.