o1's score looks like exactly what I would expect Elon Musk to aim for with Grok's benchmarks