I think there's a more general bifurcation here, between logic that:
1. Intrinsically needs to be precise, rigid, even fiddly, or
2. Has only been that way so far because that's how computers are
1 includes things like security, finance, anything involving contention between parties or that maps to already-precise domains like mathematics or a game with a precise ruleset
2 will be increasingly replaced by AI, because approximations and "vibes-based reasoning" were actually always preferable for those cases
Different parts of the same application will be best suited to 1 or 2
1. Intrinsically needs to be precise, rigid, even fiddly, or
2. Has only been that way so far because that's how computers are
1 includes things like security, finance, anything involving contention between parties or that maps to already-precise domains like mathematics or a game with a precise ruleset
2 will be increasingly replaced by AI, because approximations and "vibes-based reasoning" were actually always preferable for those cases
Different parts of the same application will be best suited to 1 or 2