Могут ли математики изобрести что-то принципиально новое для программирования, как-то помочь программистам?

Вопрос требует ответа на тему "Что такое принципиально новое?"

Двоичное счисление предлагал еще Лейбниц в XVII веке и имплементировал, как сейчас бы сказали, ее в своем арифмометре. Только вот первый компьютер в более-менее современном понимании появился спустя почти три века, а уж про транзисторный бум и развитие персональных компьютеров - это дело в историческом плане совсем недавнее. Поэтому к моменту непосредственного изобретения чего-то математическая идея была уже очень старой.

Да, мы увеличили скорость перехода науки в техологию, но создание тензорных процессоров от создания самого тензорного исчисления - это более одной человеческой жизни. Авторы тензорного исчисления не увидели того как делают тензорные процессоры.

Также как нейронные сети - это математика середины XX века, а приложения XXI века.
И даже упомянутые и хайповые квантовые числения. Вообще-то предлагались опять же во второй половине XX века, а алгоритму Гровера, например уже четверть века.

Математика опережает прикладные области. И к тому моменту как "принципиально новое" доходит до практики с точки зрения математики оно уже стало старым и известным.