Палачинките винаги са добра идея
[!0.987]2016-06-06

Какво мислите за цялата тази история с роботите? Хората имат най-много какво да губят. Тези момчета ще правят неща, които не само не разбирате, но и не можете да разберете.

Правят го от 2014 г. Компютрите са създали математически доказателства, които са твърде големи, за да ги провери човек. В един момент трябва да се доверите на машините или да бъдете задържани.

Първоначално идеята беше на семействата. Тогава те ми показаха, че има твърда граница на това докъде можеш да стигнеш, ако не можеш да се довериш на неща, които не разбираш. Харесвам тези непознати, отвън, от Мъд, но от време на време ми причиняват главоболие.

Цвят от 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.