O3 results are public and yet the market still isn't pricing in AGI