What does the stock market tell us about AI timelines?