Тем же, что и в двадцатом - доказывают теоремы, ищут закономерности и новые области для формализации. Решают насущные математические проблемы, например беспрецедентная сложность доказательств. Например, доказательство теоремы Ферма занимает сотни страниц, и проверялось много месяцев. Часть доказательств получена с помощью компьютера, и возникает вопрос - как к ним относиться?