I am sorry to tell you, but AI is exceptional for engineering. Just make the AI also generate a proof that its code meets the spec. That's what human engineers should already do, but it was costly, because the tools were not good enough and the engineers not educated enough. AI is going to cut right through that Gordian knot.
This should not be surprising: There is a large intersection between engineering and mathematics. And mathematics is art.
This should not be surprising: There is a large intersection between engineering and mathematics. And mathematics is art.