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.
Февраль 2014: для задачи несоответствия Эрдёша сгенерирован файл размером 13 ГБ.
Май 2016: 200 ТБ решение проблемы Булевых пифагоровых троек.
P.S.: Роман Льва Николаевича Толстого “Война и мир” примерно в 1900 страниц занимает всего лишь около 3 МБ.