The speaker recruited undergraduates to contribute to Mathlib because one person could not complete all the needed work alone.

“Why don't we just contribute to this library? But of course, there's so much stuff that one person can't do it, so I roped the undergraduates in. It was absolutely critic-- We'd just got to the point where all my kids could make their way to school by themselves.”