メイナードの別の言葉として、「数学における出版可能な論文の基準が、AIにはできないことであるとすれば、特に博士号取得に通常4年かかることを考えると、問題は、AIが現在できない問題を考え出すことではなく、4年後のAIが解決できる問題を考え出すことにある」というものがあります。