Lean形式化美国税法查出138处起草错误
热点事件持续更新
Lean形式化美国税法查出138处起草错误
1 篇报道1 个报道来源14 小时前更新
先了解这件事
AI 综述
Lexifina 将美国税法典 Title 26 逐条翻译成 Lean，用证明检查器校验条款间的交叉引用，在 2026 年 11 月 3 日的文本版本中报告 257 项发现，其中 138 处被认定为真实起草错误，包括 67 处引用已废止或改写的条款、30 处括号未闭合。 该团队称，起草问题筛查和复核由 AI 代理对照官方文本完成，未经律师或注册会计师核查。其税收模型覆盖 2025 年个人所得税的家庭申报情形，多年模型则将 2025 年法律固定不变。 项目的目标是借形式化搜索未知的税收漏洞，上述发现属于起草层面的问题，并不等于已确认的避税路径。
AI 根据报道生成 · 11 小时前更新
最新进展11月14日 23:41
用 Lean 形式化美国税法：查出 138 处起草错误并搜索税收漏洞报道时间线
沿着报道，了解事件的不同侧面。
11月14日
- Hacker News用 Lean 形式化美国税法：查出 138 处起草错误并搜索税收漏洞
作者将美国税法典 Title 26 逐条翻译成 Lean，用证明检查器校验交叉引用，在 2026 年 11 月 3 日的版本中报告 257 项发现，其中 138 处为真实起草错误，包括 67 处引用已废止或改写的条款、30 处括号未闭合。
本事件热度走势
- 可比范围当前
- 7
- 可比范围峰值
- 911月15日 03:00
- 近 24 小时变化
- –
02.557.510
04:0006:0008:0010:0012:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。