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.
Im taking a lot of inspiration from MathOverflow, where I’ve been a user for several years. I think there is a protocol approach to this project that can be built, but it’s not what I’m building. I’m optimizing more for building in community features, since that is the genre of site I have enjoyed using in the past.
Comments
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.
(Project creator here):
I have 0 interest in commercializing this.
Im taking a lot of inspiration from MathOverflow, where I’ve been a user for several years. I think there is a protocol approach to this project that can be built, but it’s not what I’m building. I’m optimizing more for building in community features, since that is the genre of site I have enjoyed using in the past.
https://github.com/math-inc/OpenGauss
https://www.math.inc/vision
Just use lean