OpenAI：我们将发布这些手稿、正式的 Lean 证明证书以及推理过程说明，供数学家们审查这些结果，并在相关研究思路基础上进一步发展。