How to stop coding agents from four SSDs

This is the crux of it. If Tristan's work and insights were not used to train OpenAI models, then this just looks like a pretty good resource. This doesn't seem to be a mathematician right now.