RecodeX 重构消息，OpenAI表示，其AI模型证伪了计算领域的一项关键假设，所声称的结果已通过Lean形式化验证。由该假设提出者及一名麻省理工学院教授组成的评审团队将对这一结果进行审查。