Поворотный момент в истории человечества: Компьютер создал математическое доказательство, которое не в состоянии проверить ни один человек

Похоже, мы вплотную подходим к ключевой точке развития человеческой
цивилизации. Мало того, что созданные нами машины обыгрывают лучших
представителей человечества в шахматы, а роботы-хирурги с успехом
заменяют человека при выполнении рутинных операций. Вот и ещё в одной
сфере деятельности, которая считается привилегией титанов мысли – в
математике – машина обошла нас.