> What if you could easily answer the question "what is everything currently known in mathematics." I love this. I work on this problem a lot. More generally o

> What if you could easily answer the question "what is everything currently known in mathematics." I love this. I work on this problem a lot. More generally of the form "what is everything currently known in X"? I would love to be able to make statements like "I am familiar with X/Y/Z% of the nodes in Computer Science/Medicine/Arrested Development Season 2". I would love it if the abstract idea of the "dent" (http://matt.might.net/articles/phd-school-in-pictures/ http://matt.might.net/articles/phd-school-in-pictures/) a researcher makes could actually be concretely measured as nodes added/updated/subtracted from some corpus of knowledge. Have you thought about moving the content to a git repo and allowing people to contribute via a pull request?