RecodeX 重构消息，OpenAI表示，虽然可能性不大，但“不能排除”Buckmaster和Alpöge使用其产品产生的脱敏数据帮助改进了模型。该公司分享了Navier-Stokes存在性问题的Lean形式化证明论文链接。