Another point: I seem to recall a joke among mathematicians that if only it was announced that some famous problem was solved, without there actually being a solution, someone would try to find the solution for themselves and succeed in finding a valid solution.
In other words, how problems are framed may be important, and framing a problem as potentially impossible may make it difficult for folks to solve it.
Additionally, I see little evidence that the problems required for FAI are actually hard problems. This isn't to say that it's not a major research endeavor, which it may or may not be. All I'm saying is I don't see top academics having hammered at problems involved in building a FAI the same way they've hammered at, say, proving the Riemann hypothesis.
EY thinking they are super hard doesn't seem like much evidence to me; he's primarily known as a figure in the transhumanist movement and for popular writings on rationality, not for solving research problems. It's not even clear how much time he's spent thinking about the problems in between all of the other stuff he does.
FAI might just require lots of legwork on problems that are relatively straightforward to solve, really.
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: