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