Lexifina Blog company blog

Formalizing US Tax Code (Using Lean)

by Alan Yahya lexifina.com published 2026-11-10

Identifying novel loopholes in the tax code via formal search.

Points

151

HN comments

102

Submissions

1

Cited by

0 commenters

Math & AlgorithmsSoftware Engineering2026

Related posts from the same era

An OpenAI model has disproved a central conjecture in discrete geometry

OpenAI Blog20261,429 points1,055 commentscited by 13 details

Sharing AI progress in mathematics

OpenAI Blog20261,363 points1,539 comments details

On the Navier–Stokes Millennium Prize Problem

OpenAI Blog20261,346 points1,137 commentscited by 22 details

Fable 5.1 Solves the Cyphral Distich, a 370-year-old cipher

Vals AI Blog20261,218 points570 comments details

Formalizing Fermat's Last Theorem

Anthropic2026773 points512 commentscited by 3 details

Square Theory

Adam Aaronson2025750 points138 comments details