As panquecas são sempre uma boa ideia
[!0.987]2016-06-06

O que pensa de tudo isto com os robôs? Os humanos são os que têm mais a perder. Estes tipos vão fazer coisas que não só você não compreende, como também não consegue compreender.

Fazem-no desde 2014. Os computadores têm criado provas matemáticas demasiado grandes para serem verificadas pelos humanos. A dada altura, é preciso confiar nas máquinas ou ser retido.

No início foi uma ideia das famílias. Depois mostraram-me que existe um limite difícil para o quão longe se pode chegar se não se pode confiar em coisas que não se compreende. Gosto destes estranhos, vindos de fora da lama, mas de vez em quando dão-me dores 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.