> As of mid-January, six Erdős problems have been fully solved by AI tools, though subsequent scrutiny by professional mathematicians revealed that five of these problems had previously been solved in the mathematical literature. Only one problem, number 205, has been fully solved by Barreto and Price with no pre-existing solution. AI tools have also enabled small improvements and partial solutions to seven other problems that don’t appear to be pre-existing in the literature.

This directly contradicts a challenge last month or so re: whether LLM AI are useful for math.