RecodeX 重构消息,OpenAI于10月6日在GitHub公开722篇数学手稿,分属372个结果族,其中包含377项新证明,约三分之一涉及数学界广泛关注的重要猜想。OpenAI称绝大多数成果由一款尚未发布的内部模型生成,该模型自8月28日开始训练。
发布两天后,OpenAI撤回三篇存在错误的论文,仓库中剩余719篇。多位数学家指出,部分手稿可能并未真正证明其声称的结论。
2022年菲尔兹奖得主、法国数学家Hugo Duminil-Copin表示,其中16个问题正是他长期钻研的方向,并称AI生成证明的影响如同“核爆”。