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

Я ж в посте специально указал на объясняемость (interpretability) -- это и есть формальные модели. Ну, и постановка задач сейчас часто такая, что сеть просят выдать не решение, а прямо формальную модель. Насчёт деления людей на технарей и гуманитариев, так это печалька. Я как раз и подчеркнул, что мышлением как таковым в связи с новой волной искусственного интеллекта занялись, наконец, технари и математики -- в огромных количествах (десятки тысяч человек на планете), а не немногие гуманитарии с их художественными рассуждениями "как я думал вчера ночью, долго интроспектировал, и вам сегодня расскажу в метафорах".