OpenAI公开了722篇由未发布内部模型生成的数学手稿,归为372组结果,覆盖数论、代数几何、理论计算机等17个方向,涉及准黎曼猜想、霍奇猜想、BSD猜想等千禧难题,以及π的无理性指数、卡塔兰常数无理性、唯一游戏猜想等问题。模型共尝试约4000个研究问题,平均每项结果算力约相当于ChatGPT Pro思考3小时,论文、源码和部分Lean证明已上传GitHub。但数学界反应谨慎,由三位菲尔兹奖得主参与的独立顾问组声明,不认可这些结果及其产出过程;多位数学家指出,成果产出速度已远超人类理解速度,核验进度不一,部分缺乏形式化证明,如何消化这些手稿成为现实难题。
OpenAI一个未发布模型被曝一口气解决722篇数学手稿,覆盖372个结果族,引发AI在数学研究领域能力的关注。
📱 每天一份 AI 前沿日报
关注公众号,每天 09:00 推送 · 不错过任何重磅