数学史上一些最著名的难题，由保罗·埃尔德什提出，正被大型语言模型（LLMs）所解决。