Source 1: Siobhan Roberts, Mathematical Beauty: A Q&A with Fields Medalist Michael Atiyah, Quanta Magazine, 2016/3/9.
Is there one big question that has always guided you?
I always want to try to understand why things work. I’m not interested in getting a formula without knowing what it means. I always try to dig behind the scenes, so if I have a formula, I understand why it’s there. And understanding is a very difficult notion.
People think mathematics begins when you write down a theorem followed by a proof. That’s not the beginning, that’s the end. For me the creative place in mathematics comes before you start to put things down on paper, before you try to write a formula. You picture various things, you turn them over in your mind. You’re trying to create, just as a musician is trying to create music, or a poet. There are no rules laid down. You have to do it your own way. But at the end, just as a composer has to put it down on paper, you have to write things down. But the most important stage is understanding. A proof by itself doesn’t give you understanding. You can have a long proof and no idea at the end of why it works. But to understand why it works, you have to have a kind of gut reaction to the thing. You’ve got to feel it.
Source 2: Sir Michael Atiyah on math, physics and fun.
[...] You've got to have a lot of input and material from somewhere, you've got to have ideas coming from physics, concepts from geometry. You've got to have imagination, you're going to use intuition, guesswork, vision, like a creative artist has. In fact, proofs are usually only the last bit of the story, when you come to tie up the... dot the i's and cross the T's. Sometimes the proof is needed to hold the whole thing together like the steel structure of a building, but sometimes you've stopped putting it together, and the proof is just the last little bit of polish on the surface. So the most time mathematicians are working, they're concerned with much more than proofs, they're concerned with ideas, understanding why this is true, what leads where, possible links. You play around in your mind with a whole host of ill-defined things.
$\color{#009900}{\Large{[2.]}}$ And I think that's one thing the field can get wrong when they're being taught to students. They can see a very formal proof, and they can see, this is what mathematics is. My story I can tell. When I was a student I went to some lectures on analysis where people gave some very formal proofs about this being less than epsilon and this is bigger than that. Then I had private supervision from a Russian mathematician called Bessikovich, a good analyst, and he'd draw a little picture and say, this -- this is small, this -- this is very small. Now that's the way an analyst thinks. None of this nonsense about precision. Small, very small. You get an idea what is going on. And then you can work it out afterwards. And people can be misled, if you read books, textbooks or go to lectures, and you see this very formal approach and you think, gosh that's the way I gotta think, and they can be turned off by that because that's not an interesting thing, mathematics, you see. You aren't thinking at that point imaginatively.
Is there a term that describes for what I bolded above (about ex ante presentiment)? 'Intuition' can be ex ante or ex poste, and so is ambiguous.
Assumption per 2 above: Too many textbooks and lecturers state only theorems and proofs, and fail to explain the presentiment.
Then how can a maths student who is not a maths genius, learn presentiment:
for a specific (proven) theorem and proof?
for solving unseen problems or proving unseen theorems?