验证环路是 DeepSeek 智能的 4 倍，与 Opus 不相上下，成本仅为后者的 1/7 · HackerLangs