OpenAIが公開した数学の証明の数々が、専門家グループが設定したガイドラインを満たしていないことが判明。実用レベルでの精度に課題が残る結果となった。