The AI revolution in math has arrived (quantamagazine.org)