“OpenAI's o1 reasoning system is built upon the company's earlier work on Q* and Strawberry.”