OpenAI于周二在GitHub上发布了722篇由其未发布AI模型生成的数学手稿，并声称其中大部分仅通过单一提示词生成。然而，麻省理工学院数学家Andrew Sutherland等部分学者对此表示质疑，认为在模型和结果可复现之前，相关声明未经证实，并要求OpenAI提供更多验证。OpenAI承认并非所有手稿都经过计算机验证，其中162篇（约22%）已通过Lean软件进行机械逻辑检查。