AI e Matematica: Finalmente ho avuto un po' di tempo libero per iniziare il mio primo tentativo di utilizzare l'AI -- ChatGPT Pro -- per un vecchio problema matematico che ho messo da parte più di un decennio fa. Sono piuttosto arrugginito sui particolari, ma l'AI non lo è. Sono già abbastanza impressionato dai progressi, ho indicato la mia congettura e ha iniziato a scomporla, facendo esperimenti numerici, poi deducendo congetture da essi, testando quelle un po' più a fondo, e così via. Non voglio ancora rivelare la domanda esatta su cui sto lavorando, né cosa mi ha aiutato a trovare finora. E sono un po' arrugginito io stesso, non avendo lavorato su problemi matematici per un po' di tempo. Ma posso vedere come, se fossi stato un professore di matematica a tempo pieno, questo strumento sarebbe stato inestimabile. Coloro che fanno ricerca matematica per vivere -- quanto trovate utile l'AI nel vostro lavoro? Vi ha già aiutato a risolvere uno dei vostri Grandi Problemi?