Hacker News Reader

> The proof — ... — is in some ways even more complicated than its predecessors.

Damn it in deed.

But perhaps it will open a door to new proofs? Perhaps in other areas?

I would love to have a unicorn pegasus, but some things might just be impossible.

Even something as simple as the computer you are posting from is not optimized for human comprehensibilty, in its full detail.

if it didn't you would likely be reading about it in far more mainstream press outlets :)