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].