Thinking-2507, as we'll call it for short, now leads or closely trails top-performing models across several major benchmarks.