58 ms·
>of all possible theorems almost none have short proofs Ok, but what about the theorems humans would actually care about?
by optimalsolver 2y ago
>of all possible theorems almost none have short proofs
Ok, but what about the theorems humans would actually care about?
- Tainnor 2y agoWe can't really formalise what theorems humans would care about, so I'm afraid this is hard to answer rigorously. But there are some theorems many people care about and they don't have any known short proofs (e.g. Fermat's Last Theorem).