公開された研究で取り上げられている例に含まれる数学的予想。
OpenAIは、一般公開されていない社内モデルが生成した数学研究722件を収録するコレクションをGitHubで公開した。結果は372の問題族に分散しており、同社は研究がさまざまな検証段階にあること、一部のみがLeanを使って検証済みであることを強調している。