Ask HN: Has AI unlocked probability proofs for computer programmers?

I suspect that the vast majority of computer programmers are not able to prove anything non-trivial involving probability.

But it seems that AI has now unlocked this ability for everyone and so maybe we can expect to see some positive impact on software due to this new ability?