Some of the most storied problems in mathematics, those posed by Paul Erdős, are being solved by LLMs.