I did a bit of digging after this to see if my feeling was accurate, and lo-and-behold: https://deepswe.net/

Look at the gap between gpt5.4-mini vs deepseek v4 pro!