«Что ты мечтаешь сейчас открыть?» То же самое, что двадцать лет назад. Новые паттерны в г.г.с., какие-нибудь хитрые симметрии или семейства, складываемые в модулярные формы или другие связи. Очень хочу получить новые оценки г.г.с., старые совсем грубы. Придумать какое-нибудь новое исчисление, которое чувствует высшие стрелки. Доказать гипотезу о фильтрации. Построить запредельные инварианты, понять парасвободности, а также пополнения, почему там внутри все так зажато. Конечно, мечтаю пробить Уайтхеда. Довести свой функториальный подход до Барратта-Мура. И много что еще. Могу тут часами об этом рассказывать.