LLM-fun

Built with language models

I've been doing my best to keep up with modern LLM tools and to play around with them. They look like they're here to stay, given results announced this year such as OpenAI's Navier–Stokes blow-up proof and Yang–Mills existence proof, and the counterexample to the Jacobian conjecture found with Claude.

For research I take a much harder line. I've become a firm advocate for keeping a human in the loop and for extensive verification of anything an LLM produces for science. For learning what the tools can do, though, a low-stakes, relaxed approach can be very helpful.

Here are a few side projects I made by directing AI models, with different levels of intervention. Each card says what the thing is, how involved I was, and how it was made.

Projects

These are experiments, not research outputs. Where one uses a scientific model, its own pages say what the model includes and what it leaves out.