What's more unlikely? That the universe happened by random, or that a being capable of creating the universe happened by random?

You'll lose the bet. The IRS is on a tear right now to crack down on Tax Evasion. in fact they're offering a partial amnesty for coming forward voluntarily (normal penalties for offshore tax evasion is an immediate forfeiture of 50% of the balance, and then you owe the taxes you should have paid, depending on the situation you could end up owing more than the entire account is worth) where they are dramatically reducing the penalties and close to 5000 people have come forward.

This is partially due to the prosecutions and other actions the IRS is taking against the banks hiding the money. The IRS has already put one of the oldest Swiss banks out of business and they are working on the others, they are generally offering significantly reduced fines to the banks if they provide the data to go after the evaders. It's open season on evaders right now and the IRS has had more traction in getting the banks to reveal the evaders in the last 3 years than they've had in more than 50 years.

The IRS loves whistle-blowers and others that have handed over data. They've offered amnesty to hackers and whistle-blowers in the past that provided bank records that reveal tax evaders. Tax evasion is IRS priority number one for the last several years. Lots of people are coming forward out of fear because it's not just the money, you can actually end up in jail for it as well. All they need is the proof you've done it and not declared the assets and you are toast.

But it keeps the grant money coming.

What they've created is a method for representing card games symbolically (probably the hardest part of the project). Then they searched through many permutations of games, and keeping the ones that pass an acceptance criteria. It's AI the same way Prolog is AI.

Or depth first search. Is depth first search AI? Does an A* search make a machine intelligence? We need a new tag, SearchIsNotAI or something.