极道 · 2026-11-10T03:36:00Z

AI穷举美国税法，数学Lean证明发现合法避税路径

📝

内容提要

一台计算机把美国税法规则全部输入程序后，自己找出了一条高收入者向退休账户免税转入7.7万美元的合法路线。 ## 高收入者被Roth IRA收入限制卡在门外 美国有一种退休账户叫Roth IRA，存进去的钱先交过税，之后账户里的投资收益涨多少都不用再交税，退休取

🏷️

标签

ai 美国