Australia already has AI tax judgements:

https://en.wikipedia.org/wiki/Robodebt_scheme

Doesn’t really sound like AI to me, more like subtracting two numbers from a government database and invoicing the difference. Was there anything done that would be classified as AI?