The Decoder· Matthias Bastian·· 8 小时前AI 评分75
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 形式化以便机器验证，平均每个结果消耗约三小时 ChatGPT Pro Thinking 算力；此前同一模型产出的 Navier-Stokes 解动用了 1 万个 agent 和数百万美元算力，仍在正式评审中。
来源：The Decoder · the-decoder.com