The Decoder· Matthias Bastian·· 12 天前同新闻AI 评分82
OpenAI 在 GitHub 发布 372 个 AI 生成数学证明
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在其内部前沿模型生成了 372 个数学结果后，选择通过 GitHub 仓库发布而非传统学术期刊，该仓库包含修订日志和引用。部分证明已提供 Lean 形式化验证以应对人工审查瓶颈，而其中一项关于 Navier-Stokes 的解法使用了 10,000 个 AI 智能体集群和数百万美元计算资源。
同一新闻，精选展示《OpenAI 发布内部前沿模型产生的新数学成果》
来源：The Decoder · the-decoder.com