4 ms·OpenAI o3 AI model scores lower on benchmark than the company initially implied2 points by rntn 2y ago