OpenAI 发布 openai/ten-proofs 仓库

OpenAI 在 GitHub 上线 openai/ten-proofs 仓库，收录数学与理论计算机科学中十个证明的 Lean 证书。