Recently, I’ve spent a lot of time using AI to work on Erdős problems. The work itself is technical, but the lesson it ...