Editing Edit the page and then click Save. Help, PLAYGROUND Media Files == Freefall 2820 == **Pancakes are always a good idea**\\ [!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]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. ~ @8,346,269,121 # ~ @130,374,212,21 # ~ @4,348,264,150 [mad]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. ~ @6,648,321,119 # ~ @126,671,275,20 # ~ @2,651,313,144 [sam]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. ~ {{<cotan}} \\ Color by 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. Continue editing after saving Name of this site, english, lowcase only Please keep this field empty: Save Preview Cancel Edit summary Note: By editing this page you agree to license your content under the following license: CC Attribution-Noncommercial-Share Alike 4.0 International