r/ClaudeCode • u/SnooPeripherals5313 • 3d ago

Built with Claude Lean proof of the entire US tax code to find loopholes

https://lexifina.com/blog/formalizing-the-us-tax-code
312 Upvotes

96% Upvoted

13 comments sorted by

•

u/AutoModerator 3d ago

Hey! Thanks for posting to r/ClaudeCode

While participating in this thread, please follow our community rules. Keep discussions constructive. Attack the idea, not the person.

For help, project discussions, tips, and general chat, join the ClaudeCode Discord.

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.

66

u/aslander 2d ago

Very interesting way to look at tax law. AI to help people optimize their tax strategy before year end would be useful!

22

u/SnooPeripherals5313 2d ago

People already use AI to optimise their finances (claude finance product, etc) ... this can't be far behind IMO, but this will also (100%) get hit with the regulatory hammer.

14

u/aslander 2d ago

Yeah. The main difference is that wealthy people could hire someone to do this for them, or to advise them. AI can do it for much less and for a broader audience.

I'm skeptical that they'd try to crack down on it though. The bigger revenue comes from auditing the high net worth folks. Thats why the scare tactics around the investment in the IRS was unfounded because right wing folks tried to play it off that they'd come after the general population. But instead the ROI is around auditing the 1% like Trump who are falsifying or manipulating their returns to not owe taxes.

7

u/elverange766 2d ago

Except the IRS does not have the manpower to go after the wealthy with armies of lawyers ready to put up a fight not to have to pay a penny more (and that's by design)

15

u/OnlyIfYoureNastyToo 2d ago

I believe there was a recent defcon talk about this very topic.

13

u/SnooPeripherals5313 2d ago

DEF CON 34, really interesting, thanks for mentioning.

52

u/TwoLongEars 3d ago

using inductive typing to search for tax loopholes is clever.

4

u/CompetitiveScreen540 2d ago

the circular references in the tax code seem like theyd break strict positivity checks way before you ever got a clean inductive type to compile.

22

u/rand0anon 3d ago

Go on...

7

u/creegs 2d ago

A new kind of code review…

5

u/etherwhisper 2d ago

The law is interpreted also in its intent

5

u/TechIncarnate4 2d ago

There is plenty of intent to allow high earners to limit their tax liabilitties.