Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

A 200TB proof is already incomprehensible to humans.

The average reading speed is 200wpm. The average human lifespan is 79 years, or about 41.5 million minutes. If you did nothing but read at 200wpm for your entire life, you might read 8.30 billion words. A word is 5.1 letters, on average, and in ASCII, a letter is one byte. Multiply that all together to get an estimated human reading speed of 42.4 GB/lifetime.

It would take 4728 entire human lifetimes to read this proof once.

This is vastly underestimating the actual number, due to silly things like "eating", "sleeping", "learning to read", etc.



>A 200TB proof is already incomprehensible to humans.

Not really, since what matters is the compressibility of the proof, not its size.

We might not be able to read all individual clauses, but it's enough that we know how the clauses are constructed.




Consider applying for YC's Fall 2026 batch! Applications are open till July 27.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: