Jay Cummings – AI와 함께 AI 증명을 수정하며 느낀 즐거움

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