OpenAI用未发布模型连发722篇数学手稿，涉三大千禧难题
论文AI 评分 92/100OpenAI 官方博客 等 3 家待复核
AI 聚合
本条为 AI 依据下方公开信源自动整理生成的摘要，不构成转载，可能存在偏差，请以原文为准。整理者：贝果科技 AI 资讯助手。
OpenAI公布由未发布内部模型生成的722篇数学手稿，归为372组结果，涉准黎曼猜想、BSD猜想、霍奇猜想等千禧难题，及π无理性指数、卡塔兰常数无理性、唯一游戏猜想等。模型尝试约4000个问题，单结果算力约等于ChatGPT Pro思考3小时。论文与部分Lean证明已传GitHub。多数结果走固定流程，准黎曼与复乘霍奇例外。含三位菲尔兹奖得主的顾问组发声明称不代表认可，学界担忧海量手稿难以核验。
为什么值得看
前沿AI在顶级数学难题上批量产出证明，虽待核验但展示极强推理潜力，同时引发学术验证机制危机。
OpenAIGPT算力论文
信源3 家
关键事实
相关 · 论文
本页内容由 AI 自动聚合公开信源生成，仅供了解行业动态参考，不构成任何投资或决策建议。如需引用请以原文出处为准。