The Decoder· Matthias Bastian·· 2 小时前精选AI 评分82
OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在 GitHub 发布了由内部前沿模型生成的 372 项数学成果，旨在解决开放问题或取得实质性进展。这些结果大多通过 Lean 语言进行了形式化验证，以应对人工审查瓶颈。该举措引发了数学界关于 AI 生成内容是否真正推动概念理解的激烈争论。
推荐理由
原文展示了 OpenAI 绕过传统期刊直接在 GitHub 发布大量经形式化验证的数学成果，并揭示了其背后的算力成本与社区争议。
来源：The Decoder · the-decoder.com