I think they proved that the waste is not easily defined. I would call fraud, waste, but a computer program isn't likely to discover it without boots on the ground looking to see if the money is actually going where the records indicate.

The richest person in the world, who has had billions from government handouts, decided they were going to audit government spending.

Fraud doesn't even begin to describe it.