OpenAI 发布数学手稿、Lean 证书与推理过程

OpenAI 发布了数学手稿、Lean 证书和推理演练。Lean 证书允许机器逐条验证每个结果。推理演练基于 Lean 文件解释证明的构建过程。