[hintymad]

If we look at how AI solves those Erdos problems or IMO problems, we can see a clear pattern: AI is like a perfect cramming human being: it has seen and memorized pretty much all the known problem sets and the solution patterns. It knows all the areas of maths - a feat that even the best mathematicians in the world can achieve. So AI can link an obscure solved problem in one area to a hard problem in another, leading to amazing new solutions[1].

I think we can use AI similarly: asking AI for ideas that we haven't thought of before, and asking AI to connect the dots in new ways. To do these two effectively, though, we will need deep conceptual understanding of what we work on, and strong intuition to further refine the answers given by the AI.

That is, we don't offload our thinking. We just augment it with AI. It's like playing the game of ABC: given a letter, and name all the movies starting with it. One can be very familiar the movies but still fail to recall most of the titles. AI can exactly help with that type of recall.

[1] That's why OpenAI's model could solve the hardest problem (problem 6?) in 2025's IOI, but failed to solve the easiest one for human (problem 3?).