Request for Collaborators: Better Tools for Math Research

Progress in mathematics is upstream of nearly all progress in science and technology. But unfortunately, progress in math is getting harder to make.