Daniel Litt — Web Pulse coverage AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed :: https://wpnews.pro/news/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed