Jin10によれば、OpenAIはこれらの原稿、形式的なLeanの証明証明書、そして数学者が結果を検証し、関連する研究アイデアをさらに発展させるための推論プロセスの説明を公開すると述べた。