I’d like to build (maybe with you!) a user-friendly web platform for collaborating on mathematical proofs and organizing mathematical knowledge. Why bother? Progress in mathematics is upstream of nearly all progress in science and technology. But unfortunately, progress in math is getting harder to make. Humanity’s mathematical knowledge is getting larger, more complex, and more Balkanized1 by the year. Better tools can help. Calculators, Wolfram Alpha and the like, Wikipedia, and even hu...
