Без заголовка

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

У меня есть чувство, что при помощи нейронных сеток можно искать доказательства теорем в символьном виде. т.е. использовать нейронные сетки вместо эвристик, которые сейчас запрограммированны вручную, но все символьные выражения держать в символьном виде.