the analogy to open source code is more fit i think, in theory with a powerful enough turing machine everyone can compile proofs and grok them

Posters: lu_sichu. lu_sichu

2 likes recorded by the source corpus.

Topics: Math

View Post: https://x.com/lu_sichu/status/1864394499994124541