RecodeX 重构消息，OpenAI公布了一批由尚未发布的模型生成的722篇数学手稿，内容包含Lean证明工件与推理摘要。OpenAI表示，各篇手稿的验证情况并不一致，其中的引用与论述仍需进一步完善。