[agentbellnorm]

With enough saved input/output data, maybe some parts could even be replaced by a ml model?

Not 100% serious but then again seems like serious resources are put into this problem, so maybe worth a try

[kadoban]

An AI-aided translation might make more sense, since at least you could review that for correctness and it'd likely be easier+cheaper to run the result.

[jmartrican]

I wonder if an AI system for the IRS would use double float or big decimal types to do its math.