OpenAI 发布内部前沿模型生成的数学成果合集
OpenAI 发布由内部未公开前沿模型生成的数学成果，GitHub 合集含 722 篇手稿、372 个结果系列，涉及长期未解问题。许多证明已用 Lean 形式化验证。
仓库称，模型平均每项结果使用约 3 小时 ChatGPT Pro 思考算力，评估期间约尝试 4000 道题，并提供 10 份推理摘要。部分结果仍处于验证阶段。
The Verge | GitHub | OpenAI
🌸 科技圈· 茶馆 · 投稿
Post #44251
7.57K
- 👍 78
- ❤ 10
- 👏 10
- 👎 7
- 😁 3
- 🤣 2
- 😴 2