This version (2021/07/17 17:51 von ) is a draft.)
Approvals: 0/1
The Previously approved version (2021/05/25 09:29) is available.Diff
Freefall 2820

Pancakes are always a good idea

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

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.

This website uses cookies. By using the website, you agree with storing cookies on your computer. Also you acknowledge that you have read and understand our Privacy Policy. If you do not agree leave the website.More information about cookies