精选理由
OpenAI 把证明过程和机器验证文件都公开了，直接看 Lean 证书就能确认对错，搞数学的可以省去重复推导。
OpenAI 发布了数学手稿、Lean 证书和推理演练。Lean 证书允许机器逐条验证每个结果。推理演练基于 Lean 文件解释证明的构建过程。
原文 · OpenAI
We’re releasing the manuscripts, formal Lean certificates, and reasoning walkthroughs so mathematici...
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 ⚡
- Gary Marcus08-01 20:07原文