Good ideas and conversation. No ads, no tracking. Login or Take a Tour!
If the most compact proof for something takes more than ~10^123 bits, or the fastest proof for it takes more than ~10^120 elementary steps, it can never be proven (well, in our universe at least).