Comment by snewman

For people who prefer reading to watching videos, I wrote a detailed account of my process for solving one of last year's IMO problems, along with thoughts on how this relates to AI:

https://secondthoughts.ai/p/solving-math-olympiad-problems