RecodeX 重构消息，数学家Steven Miller指控OpenAI在未注明来源的情况下，重复使用了他2016年提出的球堆积论证。与此同时，由Sienicki牵头的一项arXiv审计对Astra十项证明的18个章节评审进行了核查，未发现任何仍然成立的错误。目前独立数学家正逐行用Lean对OpenAI的证明主张进行形式化验证。