The seven Millennium Prize Problems represent some of the hardest unsolved questions in mathematics, including one famously ...
A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working on with my student N. Alpay. Not an Erdős problem, but original research.