美东时间10月6日，OpenAI在GitHub发布由一款尚未公开的内部模型撰写的722篇数学研究手稿，归纳为17个领域的372个成果类别，其中162篇附有主结果的Lean形式化证明；官方称每项成功结果消耗的算力约相当于ChatGPT Pro思考3小时，成果清单包括四维Kakeya猜想、唯一游戏猜想、马勒猜想等。此举在数学界引发强烈质疑：此前的9月8日OpenAI宣称解决纳维—斯托克斯千禧年难题，但米兰比可卡大学学者指出其论文与Lean代码至少有两处不一致，形式化结果更弱；公司迄今只公布平均计算时间，未提供模型、提示词与完整计算过程。发布后因发现一个符号错误，3篇手稿被撤回、14篇被修改，仓库目前列出719篇。