Cognition 发布 SWE-2:基于 Kimi K3 后训练,称在主流评测上与前沿模型持平、成本最高降低 70% | AREX