As far as I know, the controversy involves a pair of mathematicians using LLMs to solve the problem and another group who used LLMs to solve the problem. No one seems to be disputing the solution itself.