“Kimi K3 achieves a score of 42.0 on the SWE-Marathon benchmark.”