Edição Edite a página e depois clique em Salvar. Ajuda, RECREIO Arquivos de mídia 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 == **Panquecas são sempre uma boa idéia**\\ [!0.987]2016-06-06 {cnav} {{cotan>2820.png}} @9,19,291,101 # ~ @109,57,205,20 # ~ @69,10,20,20 # ~ @5,18,288,128 [sam]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. ~ @8,346,269,121 # ~ @130,374,212,21 # ~ @4,348,264,150 [mad]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. ~ @6,648,321,119 # ~ @126,671,275,20 # ~ @2,651,313,144 [sam]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. ~ {{<cotan}} \\ Cor por George Peterson\\ \\ Examples:\\ February 2014: for the Erdös mismatch problem [[http://www.computerra.ru/95029/the-evidence-which-validity-a-human-can-not-check/|generated file size 13 GB]].\\ May 2016: [[https://geektimes.ru/post/276468/|200 TB solution]] of the Boolean Pythagorean triples problem.\\ P.S.: Leo Tolstoy's novel [[enw>War and Peace]] of about 1900 pages is only about 3MB. Continuar editando, depois de salvar Nome deste site, inglês, apenas em minúsculas Por favor deixe esse campo em brancoSalvar Visualizar Cancelar Resumo da edição Observe: editando esta página você aceita disponibilizar o seu conteúdo sob a seguinte licença: CC Attribution-Noncommercial-Share Alike 4.0 International