pull down to refresh

Oh, it's more just coz I use claude by default right now. GPT would probably be fine.

The proofs I'm doing are not frontier stuff. It's more like, I have this model of economic behavior, prove this hypothesized result for me.