Статья "Augmentation к symbiosis: новая парадигма программирования" прекрасно показывает, что мы уже перешагнули точку, когда ИИ просто «помогал» писать код — теперь речь идёт о настоящей смене парадигмы, где человек всё чаще формулирует намерения, а ИИ берёт на себя реализацию и частичную верификацию.
Особенно ценным мне показался акцент на формальной верификации как единственном способе справиться с огромным потоком генерируемого кода: при скорости 1000+ строк в минуту традиционное ревью просто не выдерживает, поэтому нейросимволические системы с математическими доказательствами становятся не роскошью, а необходимостью.
В будущем, которое рисует статья, инженеры будут учиться не столько писать код, сколько строить онтологии предметной области и управлять рисками неопределённости, а это уже совсем другой уровень мышления и подготовки.