AI i matematyka: W końcu miałem trochę wolnego czasu, aby rozpocząć moją pierwszą próbę użycia AI -- ChatGPT Pro -- do starego problemu matematycznego, który odłożyłem na bok ponad dekadę temu. Jestem dość niepewny w szczegółach, ale AI nie jest. Już jestem całkiem pod wrażeniem postępów, wskazałem moją konjecturę, a ona zaczęła ją rozkładać, przeprowadzać eksperymenty numeryczne, a następnie dedukować z nich konjectury, testując je trochę dalej, i tak dalej. Jeszcze nie chcę ujawniać dokładnego pytania, nad którym pracuję, ani tego, co pomogło mi znaleźć do tej pory. I sam jestem trochę niepewny, ponieważ od dłuższego czasu nie pracowałem nad problemami matematycznymi. Ale widzę, jakby to było, gdybym był profesorem matematyki na pełen etat, to narzędzie byłoby nieocenione. Ci z was, którzy zajmują się badaniami matematycznymi zawodowo -- jak bardzo uważacie, że AI jest przydatne w waszej pracy? Czy już pomogło wam rozwiązać jeden z waszych Wielkich Problemów?