После провала идеи создания универсального «решателя» задач в сфере искусственного интеллекта (ИИ), работы пошли по нескольким, казалось бы, совершенно разным направлениям. В некоторых из них машины уже превзошли человека, в других люди пока ещё удерживают «пальму первенства». Доказательство теорем Машины хорошо справляются с этими задачами тогда, когда доказательство может занимать несколько тысяч страниц, и математики порой теряют возможность проследить логику доказательства. Это связано с крайней переусложнённостью математического знания...

Не секрет, что в последние годы вокруг понятия «Искусственный Интеллект» (ИИ) поднялась невообразимая шумиха, которая доносится как из средств массовой информации, так и из деловой среды, в которой что ни день, так открывается новый стартап, основанный на самых современных ИИ-технологиях [Лучкин 2018]. Подогревает эту ситуацию и массовая культура, в которой тема Искусственного Интеллекта тоже стала очень горячей, и сегодня появляется большое количество новых произведений, в которых человеческое общество...