Our motivation was simple: we don't know what we don't know. We had an idea - graphs reveal information more readily than text. To many people around the world, long-form English proofs can be difficult to read (English isn't everyone's native language). Graphs are visually easy to comprehend regardless of language fluency or mathematical background.
We hope to reveal what we (as humans) don't know about math. Many frayed but disjoint edges branching off of one node indicate that a theorem has led to many others but that not much research has been done between the topics. The presence of tight clusters with little outgoing edges indicate the possibility of connecting that field to another. Similar structures indicate places where mathematical concepts may be connected on a deeper level than we currently believe.
Our goal is to take what we've built and expand it. We would like to see this approach brought to a larger corpus both inside and outside of mathematics. What might a computer science student learn from such visualization? What might others?