Why not seeing "Theorems" like "Open source projects" ? I think they have the same meaning. Math theorems are the framework for other to use or extend. And they should be "open sourced", i think we don't solve the Conjecture with this "MathHub" but it will get solved and understandable by anyone who're interested in a time.