I'm not sure how strongly IQ correlates with real-world abilities (well, actually, I am sure: 0.2-0.6 depending on the task 1). You don't need exceptional IQ to do new math (see Richard Feynman) but you do need an interest in math and quite a bit of exposure. Synesthesia can also be helpful.
I'm not finding a non-paywalled version right now, and unfortunately am not at my university at the moment to access it.
How many mathematicians consciously try to extract heuristics from their problem-solving process and keep them in a database, or track how environmental factors like diet and activities affect their productivity?
Has there ever been a team of mathematicians teamed with the team of mathematician optimizers who observed the mathematicians like lab animals? :D
Series: How to Purchase AI Risk Reduction
Here is yet another way to purchase AI risk reduction...
Much of the work needed for Friendly AI and improved algorithmic decision theories requires researchers to invent new math. That's why the Singularity Institute's recruiting efforts have been aimed a talent in math and computer science. Specifically, we're looking for young talent in math and compsci, because young talent is (1) more open to considering radical ideas like AI risk, (2) not yet entrenched in careers and status games, and (3) better at inventing new math (due to cognitive decline with age).
So how can the Singularity Institute reach out to young math/compsci talent? Perhaps surprisingly, Harry Potter and the Methods of Rationality is one of the best tools we have for this. It is read by a surprisingly large proportion of people in math and CS departments. Here are some other projects we have in the works:
Here are some things we could be doing if we had sufficient funding: