Pancakes are always a good idea
[!0.987]2016-06-06

What do you think about all this with the robots? Humans have the most to lose. These guys are going to be doing things you not only don't understand but can't understand.

They've been doing that since 2014. Computers generated mathematical proofs too big for humans to check. At some point, you have to trust the machines or let yourself be held back.

First it was the idea of families. Then they show me that unless you can trust things you don't understand, there's a hard limit to how far you can advance. I like these aliens, but every now and then they make my head hurt.

Color by George Peterson

Examples:
February 2014: for the Erdös mismatch problem generated file size 13 GB.
May 2016: 200 TB solution of the Boolean Pythagorean triples problem.
P.S.: Leo Tolstoy's novel War and Peace of about 1900 pages is only about 3MB.