Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I think that this is being used to verify results notably the Kepler conjecture by the Flyspeck project. So this is now one way to try to prove theorems and thus is of interest to practicing mathematicians.
