[amelius]

Perhaps LLMs would be a perfect fit for working through tax code and generating a large set of computer-readable business rules from it.