OpenAI разместила на GitHub 722 рукописи в 372 группах связанных результатов. Для части доказательств доступны формализации в Lean, а в работах без них компания допускает ошибки. Модель пока остаётся закрытой: математическая группа AGMAI просила прекратить такие испытания на системах, недоступных научному сообществу