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