> The stock market finds the 'correct' price for stocks, by aggregating conflicting beliefs and predictions of traders.

10-20 years ago, maybe. It's now driven largely by semi-autonomous algorithms monitoring swings/trends. I'd argue that it finds a 'simulated' price rather than a 'correct' price. The stock market is much less susceptible to emotional speculation than it used to be, for better or for worse.

A quick google yields multiple articles claiming various percentages for algorithmic vs meatspace trading. Investopedia claims that as early as 2010, upwards of 60 percent of all trading was done by algorithm. That number has risen since as computation has become cheaper. Source: https://www.investopedia.com/terms/a/algorithmictrading.asp