Rapid AI breakthroughs are solving centuries-old mathematical mysteries, threatening to make human intellect optional ...