Очерки логики Логика, интуиция и парадокс AI со времен Аристотеля (Часть 1) Время от времени мы будем видеть последние новости об искусственном интеллекте (ИИ), дисциплине автоматизации нашего мышления. Не так давно появились новости о том, что [людям] больше не нужно доказывать математические теоремы! Со ссылкой на статью Google 2019 года (Bansal et al., 2019) об использовании ИИ для доказательства математических вычислений. теоремы. Эта новость подразумевает, что ИИ в..