Lexifina用Lean审查美国税法漏洞

Lexifina将美国国内税收法典第26编形式化为Lean模型，用于检查交叉引用和潜在漏洞；团队称，在2026年11月3日版本中确认了138处真实错误，并通过比较5000个家庭记录下的四套计算结果，发现3个此前未见于实务资料的税务问题。 模型覆盖2025年家庭个人所得税，但不包括单年度申报的儿童税、28%和第1250条资本利得、外国收入、被动活动规则及大部分替代性最低税优惠项。其起草筛选和审查由AI代理依据官方文本完成，尚未经律师或注册会计师核查。

AI 根据报道生成 · 13 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。