OpenAIは火曜日、GitHub上で未公開の自社AIモデルが生成した722篇の数学手稿を公開し、そのほとんどが単一のプロンプトのみで生成されたものだと主張した。しかし、マサチューセッツ工科大学（MIT）の数学者アンドリュー・サザーランド氏を含む一部の学者はこれに疑問を呈し、モデルと結果が再現可能になるまで、関連する主張は未検証であると指摘し、OpenAIにさらなる検証の提供を求めた。OpenAIは、すべての手稿がコンピューターによる検証を経たわけではないことを認めており、そのうち162篇（約22%）がLeanソフトウェアによる機械的な論理チェックを通過したとしている。