华盛顿大学的研究团队决定从根本上改变这种现状。他们构建了迄今为止最大的数学定理数据库，收录了超过920万个定理、引理、命题和推论。这就像建造了一个超级数学图书馆，不仅收藏丰富，还配备了一个极其聪明的图书管理员。