pull down to refresh
reply
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.
reply
Pre Claude, I'd struggle with mathematical proofs for an entire afternoon. Post Claude, I can get them done in a few prompts.
(Still need to spend some time verifying and writing it up properly though.)