Panquecas são sempre uma boa idéia
[!0.987]2016-06-06

O que você acha de tudo isso com os robôs? Os humanos são os que têm mais a perder. Esses caras vão fazer coisas que não só você não entende, como também não consegue entender.

Eles fazem isso desde 2014. Os computadores criaram provas matemáticas que são muito grandes para serem verificadas pelos humanos. Em algum momento, você tem que confiar nas máquinas ou ser retido.

No início foi uma idéia das famílias. Depois me mostraram que existe um limite difícil para se chegar até onde se pode chegar se não se pode confiar em coisas que não se entende. Eu gosto destes estranhos, de fora da lama, mas de vez em quando eles me dão dor de cabeça.

Cor por 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.