The mathematical library began growing much faster as professional mathematicians contributed material in their areas.

“You know, an expert would come along, and their first question would be like, "Can we do my latest theorem?" And the answer was, "No, but we can do, you know, the basics in your area.”

“And so here's where to start." And so the library started growing much more quickly then. The o- the other thing, of course, that happened around that time was COVID. Uh, so people were sort of stuck at home, and, uh, playing computer games was sort of an appealing way.”