Jay Cummings – I Worked with AI to Revise an AI Proof (and had so much fun) | Hacker News Reader