The Decoder· Matthias Bastian·· 2 小时前同新闻AI 评分76
OpenAI 在 GitHub 发布 372 个 AI 生成的数学证明
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 在 GitHub 上发布 372 个由内部前沿模型生成的数学结果，每项都旨在解决开放问题或取得实质进展，涵盖主要算法改进和黎曼猜想相关进展。OpenAI 称多数结果来自对单个 AI 智能体的单次提示，平均每项约消耗三小时 ChatGPT Pro Thinking 算力，与此前 Navier-Stokes 问题所需的 10,000 个 agent 形成对比。
同一新闻，精选展示《OpenAI 发布数学开放问题新结果并分享 Lean 证明形式化》
来源：The Decoder · the-decoder.com