Wait, ya'll, let me know what you think about this idea as a way to enable more people to work on math, CS and other formalized things and get paid. More genera

Wait, ya'll, let me know what you think about this idea as a way to enable more people to work on math, CS and other formalized things and get paid. More generally, this is a potential way to solve the friction between what workers are doing and what they are capable of doing. I have this notion that there should be an online community that formalizes the search for solutions to open problems. Each open problem has directions and attempts. Proof software validates attempts, and senior community members discard fruitless directions. Let's say you want to tackle a hard unsolved math problem. Import all of the research directions to date, and log the attempts. Recursively log directions and attempts, and build up a tree of research into the problem. Generous organizations and governments set up very large prizes for successful solutions, and when a solution is discovered and verified, contributors are rewarded according to merit. The person who provides the proof gets the largest prize, and the folks higher up in the tree for that problem who defined new directions get some money, too. Research will accelerate, so it's worth the money. It doesn't solve the problem of tedious work in general - it only solves it for the specific case of workers who, due to friction and the incentive structure in the economy today, are producing at less than their potential.