Taxes are actually not a bad problem for AI, because a lot of the final calculations can be easily verified/sanity checked. The AI won't be able to get away with any math errors, the issues you'll likely see are incorrect categorisation of income or suboptimal deductions. The substeps like categorisation shouldn't be too difficult to manually verify