Я не буду давать вам научные доказательства, а скажу только, что по наследству передаётся ряд довольно сложных бессознательных, иногда вполне автоматических действий нервного механизма животного.

Формальные методы проверки, в том числе системы автоматического доказательства теорем, повсеместно используются производителями микропроцессоров для проверки поведения схемы перед запуском в производство.

Автоматическое доказательство теорем и решение уравнений стало настолько общим местом, что уже не воспринимается как разработка искусственного интеллекта.