lean-proofs

OpenAI 发布了十项由 AI 在数学和理论计算机科学领域取得的进展的手稿、正式的 Lean 证书和推理演练，其中包括球体堆积、非 sofic 群和量子并行重复方面的结果。