“Сейчас под искусственным интеллектом подразумевается обучение машин”, – поведал наш гость академик РАН, ректор Сколковского института науки и технологий, доктор технических наук – Александр Кулешов. “Но на самом деле это только часть искусственного интеллекта – связанный только с данными и это не означает, что он способен доказывать теоремы”.