Why won't they add benchmarks against o1?