The Decoder· Matthias Bastian·· 2 小时前精选AI 评分78
OpenAI 在 GitHub 发布 372 项 AI 生成数学成果
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI 导读
OpenAI 将一个内部前沿模型生成的 372 项数学成果发布在 GitHub 仓库中，每项成果号称解决一个开放问题或取得实质进展，包含算法改进和与 Riemann 假设相关的进展，附带修订日志与引用。
推荐理由
原文对比了单次提示产出与万级智能体协作的算力差异，帮助读者理解批量数学结果对同行评审流程的冲击。
来源：The Decoder · the-decoder.com