Yea, but they'll do the job. What else plausibly could? ...an LLM? Then you're back at unreliable computation.