This version (2022/07/25 11:34 ) is a draft.Anonimous)
Approvals: 0/1

FIXME Esta página não está completamente traduzida ainda. Por favor ajude a completar sua tradução.
(remova este parágrafo assim que a tradução tenha terminado)

Freefall 2820

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

2820.png
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.

Este site usa cookies. Ao usar o site, você concorda em armazenar cookies no seu computador. Você também reconhece que leu e entendeu nossa Política de Privacidade. Se você não concordar, saia do site.Mais informações sobre cookies