Ralph-looping a math paper to (attempt to) win a pub argument

A short note on iterating an LLM through a dozen drafts of a semi-formal paper, in service of a tabletop card-game disagreement that turned out to be more interesting than expected.