Mathematicians grapple with a ‘very rapid and very unsettling change’ as AI cracks yet another century-old problem