Lemma Labs

Essays

Coming soon.

We're writing up what we find as we go: what's actually inside the public mathematical corpora, how deep a single theorem really runs, and what makes a training environment teach a model anything.

If you'd like to see the work before it's published, write to [email protected].