RecodeX 重构消息，OpenAI发布的数学成果包含Lean形式化、推理摘要与算力估算，但自然语言证明与机器可验证代码之间的关键衔接仍不完整。该发布未包含AGMAI此前建议的多项细节。