I’ve always been fascinated by the relationship between structure and randomness in math, which is why I did my master’s in probabilistic number theory.

These days I lead Principia Math, a start-up building a living, verified map of mathematics. We're experimenting with autonomous research harnesses and building a platform to facilitate the understanding of AI breakthroughs, so that they can be easily digested by the math community.

Mostly just trying to figure out what doing math looks like when AI is solving decades-old problems almost every day :)