After the speaker asked Peter Scholze to publish the proof-checking challenge on the speaker's blog, community members volunteered to devote substantial time to it.

“And I asked various people, and they were just like, "Well, could we make this email public?" So I asked Peter if he would write a blog post for my blog.”

“I'd started a blog that was sort of promoting the software. So Peter wrote a blog post on my blog putting this as a challenge, and then people started popping up in the community saying, "Actually, I'd pr- be prepared to spend a substantial amount of time doing this."”