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