а кодеры до сих пор нужны в больших количествах и с разной квалификацией

Тяжкое наследие прошлого.

кодеры зачастую получают больше всяких постдоков с PhD.

Тяжелый неблагодарный труд должен как-то поощряться. А вченые просто удовлетворяют личное любопытство за казенный счет.

Машины никогда не будут разрабатывать ПО за людей

Этого и не требуется. Речь шла о том, что РОЛЬ программеров будет снижаться - и она уже снижается - при возрастании роли алгоритмистов-математиков. Программер (толковый) вполне может заниматься разработкой или модификацией алгоритмов, но на каком-то этапе все равно понадобится голова математика. Когда эффективность алгоритмов станет определяющим фактором (ну, к примеру, быстродействие компов подойдет к теоретическим пределам), тогда и платить математикам будут больше, чем самым лучшим программерам. А пока соблюдается некая условная справедливость. Тем не менее, тенденция вполне отчетлива. Повторяю: речь не о ЗАМЕНЕ человека машиной, а о перераспределении значимости между участниками процесса разработки.

Ключевые процессы в индустрии ПО неформализуемы в принципе, и поэтому там математика не играет решающей роли.

Да начхать на процессы в индустрии ПО. Они будут так или иначе подстраиваться под требования заказчиков. А заказчику в будущем будет требоваться в первую очередь все более эффективный алгоритм. И индустрия ПО может хоть на ушах стоять, а без математиков не обойдется. Просто еще прокатывает экстенсивное наращивание вычмощности за счет "железа" и/или "кластеризации".