You might be interested to learn I am primarily doing proofs & formal methods.

I have a couple of novel formalizations using some bolt-on programs I wrote for Claude Code, but I am mainly using it now to build my eval dataset for my custom inferencing and compute.