Comment by ncgl

am i understanding it right that this is used to validate the output of llms? any other uses for distributed lean? genuinely curious