“Progress on AI solving Erdős problems has recently paused, as the low-hanging fruit has been picked and there have been no further purely AI-powered solutions.”