RecodeX 重构消息,OpenAI内部AI模型生成的722篇数学手稿于10月6日集中上传GitHub,整理为372组成果,覆盖数论、代数几何、理论计算机科学等17个方向,并附10份模型推理摘要及部分Lean形式化版本。OpenAI称模型此前尝试约4000个研究问题,平均每项成果算力约相当于ChatGPT Pro思考三小时。
发布次日,OpenAI撤回三篇预印本,修订14篇、更新13篇引用,手稿总数降至719篇。帝国理工学院的凯文·巴扎德抽样其研究的数论领域30篇,认为质量突出的仅7篇,通过Lean形式化验证的仅1篇。
9月11日,陶哲轩等25位菲尔兹奖得主发表声明《人工智能在数学中的严重错位》,批评一次性发布数百份文件绕开同行评议;普林斯顿高等研究院的数学与人工智能顾问小组此前也警告专有模型可能造成两级体系。