How about a novel theorem escaping mathematicians for close to a century?

https://www.scientificamerican.com/article/ai-just-solved-an...