In the Singularity Institute open problems document, you write:
Many of the problems related to navigating the Singularity have not yet been stated with mathematical precision, and the need for a precise statement of the problem is part of the problem.
Are you sure raw math talent is the best predictor of a person's ability to do this? I tend to associate this skill with programming especially, and maybe solving math word problems.
Are you sure raw math talent is the best predictor of a person's ability to do this?
No, I'm not sure. The raw math talent thing is aimed more at the "Eliezer-led basement FAI team" stage.
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: