RecodeX 重构消息，OpenAI发布其在数学和理论计算机科学领域取得的十项研究进展，涵盖推理与自动证明。