It seems the trend for AI math is:

>Proofs which fewer and fewer people are able to understand

>Those who do understand, the rate at which models make discoveries exceed the amount of time those humans have in a day

>As a result, we will increasingly use other AI models to validate the proofs AI make for us

I don't see a future where this doesn't apply to everything. Let's say you're an evil CEO, you could ask an AI model to run for days cooking up every possible nefarious scheme to get out of a class-action lawsuit scott-free, to avoid taxes via complex financial engineering, etc. The plans will be far more complex than any human can understand. There simply aren't enough humans with the mental bandwidth to oppose you, so it's just machine vs machine, and if you have more money to pay for more compute, you win.

Tax law is not arbitrarily complicated, and unexpected edge cases are settled by human judges, not by mathematical proofs.