So far I've posted two problems that interested me, and both got solved within an hour.
It's all magic to me but it looks like a very effective human resource. Have you considered pushing MathOverflow to its limits and see if those people there might actually be able to make valuable contributions to open problems faced by Less Wrong or the SIAI?
I assume that the main obstacle in effectively exploiting such resources as MathOverflow is to formalize the problems that are faced by people working to refine rationality or create FAI. Once you know how to ask the the right questions one could spread them everywhere and see if there is someone who might be able to answer them, or if there is already a known solution.
Currently it appears to me that most of the important problems are not widely known, a lot of them being mainly discussed here on Less Wrong or on obscure mailing lists. By formalizing and spreading the gist of those problems one would be able to make people aware of Less Wrong and risks from AI and exploit various resources.
What I am thinking about is analogous to a huge roadside billboard with a short but succinct description of an important problem. Someone really smart or knowledgeable might drive-by and solve it. Not only would the solution be valuable but you would win a potential new human resource.
I'm all for exploiting resources to the limit! The bottleneck is formalizing the problems. It's very slow and difficult work for me, and the SIAI people aren't significantly faster at this task, as far as I can see.
More and more, LessWrong's posts are meta-rationality posts, about how to be rational, how to avoid akrasia, in general, without any specific application. This is probably the intended purpose of the site. But they're starting to bore me.
What drew me to LessWrong is that it's a place where I can put rationality into practice, discussing specific questions of philosophy, value, and possible futures, with the goal of finding a good path through the Singularity. Many of these topics have no other place where rational discussion of them is possible, online or off. Such applied topics have almost all moved to Discussion now, and may be declining in frequency.
This isn't entirely new. Applied discussions have always suffered bad karma on LW (statistically; please do not respond with anecdotal data). I thought this was because people downvote a post if they find anything in it that they disagree with. But perhaps a lot of people would rather talk about rationality than use it.
Does anyone else have this perception? Or am I just becoming a LW old geezer?
At the same time, LW is taking off in terms of meetups and number of posts. Is it finding its true self? Does the discussion of rationality techniques have a larger market than debates over Sleeping Beauty (I'm even beginning to miss those!) Is the old concern with values, artificial intelligence, and the Singularity something for LW to grow out of?
(ADDED: Some rationality posts are good. I am also a lukeprog fan.)