A Famous Math Problem Stumped Humans for 80 Years. AI Just Cracked It.https://www.wsj.com/tech/ai/ai-math-solves-erdos-problem-openai-c4029e84?st=raBFUM&reflink=desktopwebshare_permalink
--