We have translators. Doesn't mean we can't replace them with a cheaper, more accessible tool. That's the whole point of automation. Reasoning stuff is not usel

We have translators. Doesn't mean we can't replace them with a cheaper, more accessible tool. That's the whole point of automation. Reasoning stuff is not useless. They provably(according to benchmarks) improve the performance of coding and math related tasks.