Yeah DeepSeek V4.1 beats this by 15 percent (4 points) on terminal bench 4.0