एआई ने पोलिश गणितज्ञ की 20 साल पुरानी समस्या सुलझाई, वे 'गहरे प्रभावित' हुए