OpenAI udostępniło na GitHubie 722 manuskrypty obejmujące 372 rodziny problemów matematycznych. Dowody zostały wygenerowane przez nieudostępniony publicznie model wewnętrzny, co wywołało natychmiastową dyskusję w środowisku akademickim.
