… and isn’t the AI is already ahead of 99+% of programmers on that front?

I don’t know anything about formal verification myself! But proof? I am sure we have seen that AI capabilities exceed humans on that front.