RecodeX 重构消息，OpenAI公开了由内部前沿模型生成的数学研究手稿，共722篇，被归入372个结果组，覆盖数论、代数几何、解析学和理论计算机科学等领域。模型共被提出约4000个问题。

公开仓库目前保留719篇手稿，变更记录显示已有3篇被撤回、14篇被修改。约42%的顶级结果已用Lean形式化，数学界对全部结果的评估仍在进行中。OpenAI还公开了部分证明的Lean形式化、10份推理摘要以及算力估算。