Недавно предполагал, что осенью в темке AI точно придумают очередную фичу (шоу должно продолжаться) "чтобы курсы продавать", а вот уже например Context-as-a-Service (Context-First). Год назад это была в основном теория, а сейчас уже массовый прикладной
А осенью явится какая-нибудь нейро-символическая инженерия, и все бросятся массово изучать Prolog и солверы. Думаю, уже таки совсем недалеко и до полноценных формальных подходов.