美东时间10月6日傍晚6点，OpenAI发布了由一款尚未公开的内部模型撰写的722篇数学研究手稿，并归纳为17个领域的372个成果类别，其中162篇附有主结果的Lean形式化证明。
OpenAI官方表示，每项成功结果消耗的算力相当于ChatGPT Pro思考3小时。成果清单包括四维Kakeya猜想、广义黎曼猜想相关问题、唯一游戏猜想、自由群因子同构问题、有理数域上的希尔伯特第十问题、CM阿贝尔簇的霍奇猜想、马勒猜想等。
此次发布引发质疑。OpenAI发言人告诉《科学美国人》，公司还没有公开发布的全新模型，几乎所有结果都是在向单个代理发出单一指令后生成的。质疑导火索来自9月8日OpenAI声称解决纳维—斯托克斯千禧年难题，并称系统给出解析证明和Lean形式化证明。