> I’m definitely not expecting AI to make the way we build things better.

There's a certain chance that this development will force our hands at inventing new ways to handle code verification though?