3 ms·It is an LLM combined with a symbolic deduction engine.by cubefox 2y agoIt is an LLM combined with a symbolic deduction engine.