OpenAI 发布数学手稿、Lean 证书与推理过程
精选理由
OpenAI 把证明过程和机器验证文件都公开了，直接看 Lean 证书就能确认对错，搞数学的可以省去重复推导。
OpenAI 发布了数学手稿、Lean 证书和推理演练。Lean 证书允许机器逐条验证每个结果。推理演练基于 Lean 文件解释证明的构建过程。
原文 · OpenAI
We’re releasing the manuscripts, formal Lean certificates, and reasoning walkthroughs so mathematicians can examine these results and build on their ideas. openai.com/index/ten-adva… 💬 2 🔄 3 ❤️ 63 👀 6020 📊 8 ⚡
