The Decoder· Matthias Bastian·· 7 小时前精选AI 评分83
OpenAI在GitHub发布372项AI生成的数学结果
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI将内部AI模型生成的372项数学结果发布到GitHub，每项据称解决了一个开放问题或取得实质进展。平均每项结果消耗约3小时ChatGPT Pro Thinking算力，许多证明附有可由Lean机器检查的形式化版本。Lean可核验逻辑正确性，但不能判断结果的数学相关性或原创性，数学界对这批结果的意义看法不一。
推荐理由
OpenAI将372项数学结果及部分Lean形式化证明放在GitHub，并披露方法与算力统计，呈现了批量产出与数学共同体审查能力之间的张力。
来源：The Decoder · the-decoder.com