LLMs certainly use something similar

They certainly do not. Read the papers where the IMO results were presented. No tools of any kind were used.