It appears that you have no clue how mathematics or LLMs work. It doesn't matter how you arrive at a solution. Once you have a candidate then you can formally verify it. Sounds like you need to stop writing cringe comments on subjects you clearly have no business opining on.