I had seen that post, and frankly it didn't pass my smell test of "LLM solves entirely new problems". But again, I'm not a mathematician to know what "unsolved problems" means in the context of the ones they gave AlphaEvolve, and more than that I'm entirely a skeptic on LLM solves problems that don't exist in their training data, so I'm biased. However the request for details is genuine. :)