Not just an assumption, I saw the LLM saying it used sympy.