AI has made insane progress in domains with verifiable outputs but that progress rests upon decades of formal infrastructure – compilers, type checkers, proof assistants – that can mechanically confirm whether an output is correct. patent law has had no equivalent, until now.
