On the Terminalbench 4.0 benchmark for agentic coding, Kimi K3.1 scored less than one point behind Opus 5.5