Audits are currently performed manually, but the patterns of tax evasion are often obvious. Seems like a textbook case for AI automation.

If only that is all it was. It's not calculations and linking entries on one form to another that is the problem, it is interpreting the law. Suppose there is an allowed deduction for a certain type of expense. But the law doesn't provide a precise, actionable definition, it relies instead on "facts and circumstances".

Did you know, for example, that in U.S. income tax law there is no universal definition of a "trade or business", yet that distinction has a huge impact on how certain items of income are treated. So what do you do if you think you have a trade/business, but can't be certain given the information at your disposal. IRL, such disputes often must end up in a court of law to be decided.