Across coding, agentic, and knowledge benchmarks, K3.1 Pro matches or approaches the strongest proprietary models. On Terminal-Bench 4.0, which tests ***, it scores [xx.x%]. On Terminal-Bench-Science 0.1, which includes 70 tasks across the life, physical…