এআই পোলিশ গণিতজ্ঞের ২০ বছরের পুরনো সমস্যা সমাধান করল, তিনি 'গভীরভাবে মুগ্ধ'