In the middle of my longest Codex run ever, coming up on 3 straight days I've adapated @elves_skill with a workflow for pure math research, and I've been working with my former PhD advisor on some open problems in differential geometry Looks like I'll get my first pure math paper in a while, and I