How about a novel theorem escaping mathematicians for close to a century? https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-proble

How about a novel theorem escaping mathematicians for close to a century? https://www.scientificamerican.com/article/ai-just-solved-an-80-year-old-erdos-problem-and-mathematicians-are-amazed/ https://www.scientificamerican.com/article/ai-just-solved-an...