AI Cracks Polish Mathematician's Two-Decade-Old Problem, Leaving Him 'Deeply Impressed'