Seriously though, the market need not be proven to be ideal, it only needs to be proven to be superior to the alternative. The key about the economic calculation problem is that for effective computation, there needs to be an effective network between the nodes (OK, individuals), allowing for complex information processing structure to emerge. So far, a market has show to be the most effective way of achieving this. Although price based information flow need not be the only way of achieving this.
The problem with synthetic price calculation theories, regardless of the sophistication of the underlying behavioural assumptions is that they are useless at actually predicting prices unless they are embedded in the economic network itself.
We need not however put up our hands like the Austrain economists and claim that the modelling of these networks is too difficult to do realistically and should not be done.