At the time Scholze proposed the challenge, the system's library contained only undergraduate-level mathematics.

“All we have, you know, is, is undergraduate level stuff. And all of a sudden, I've got this Fields medalist suggesting that we could check part of his most recent paper.”