I think it would be interesting if professional engineering becomes more like producing formally correct documents for the AI to implement.
They're called programing languages, and a deterministic algorithm translates them to machine code.
Are we sure English and a probabilistic algorithm is any better at this?