Comment by amitport

I've been considering something like this for a while. It only makes sense as a free, open-source, decentralized sharing protocol (where anyone can host theorems and no one can limit sharing them).

If a company were to manage to commercialize this, it would end public open research.