I know Vitalik has talked about using prediction markets as a way for community members to decide on forks.

There are basically 3 proposals that I've seen.

Hardfork to return all funds to the DAO Softfork to freeze the stolen funds (but not return them) Do not fork at all and let the thief keep their winnings

There are strong feelings for and against these proposals but I think the vast majority of people are arguing their side because they want Ethereum to continue to thrive.

If there were a prediction market that definitively showed that one of these proposals was better for the ETH/USD trading price, I would certainly switch to supporting that stance. Is this type of thing being done?