Предложения в которых упоминается "автоматическое доказательство"
Автоматическое доказательство теорем и решение уравнений стало настолько общим местом, что уже не воспринимается как разработка искусственного интеллекта.
Формальные методы проверки, в том числе системы автоматического доказательства теорем, повсеместно используются производителями микропроцессоров для проверки поведения схемы перед запуском в производство.
Я не буду давать вам научные доказательства, а скажу только, что по наследству передаётся ряд довольно сложных бессознательных, иногда вполне автоматических действий нервного механизма животного.