Theorem is an AI and programming languages research lab based in San Francisco. We’re a team of researcher-builders who prioritize impact. We’ve developed cryptography which secures trillions of daily internet connections, helped nonprofits raise tens of millions of dollars, and built experimental educational programs serving hundreds of students.

We’ve worked at leading companies like Jane Street, Google, and Microsoft, and have published research at top venues like NeurIPS, ICML, POPL, and ITP.