Безусловно происходит!
1) Чжан Итан доказал, что существует бесконечно много последовательных простых чисел, существующих с разностью не более 70 миллионов. 2013
2) Кен Оно и Ян Брюинье дал ответ на вопрос: "Сколькими способами можно записать положительное целое число в виде суммы меньших чисел". 2011
3) Макгуайр, Тьюгеман и Чиварио доказали, что минимальное количество подсказок, уникальным образом идентифицирующих задачу в Судоку, равно 17. 2012
И это только несколько открытий!
Весьма интересно и познавательно! Ясно, что математику надо развивать - это язык ученых!
После показа доказательства проблем Гольдбаха - Эйлера,+ (бинарной, тернарной и Р-нарной, можно показать гипотезу Р=нР и опровергнуть любое доказательство теоремы АВС.
Развивается ИИ. Как доразовьется и навалится на решения известных , пока не решённых проблем и задач ,- будет что-то для меня непредставимое, но очень хочется заглянуть какое.