Usi pratici dell'Intelligenza artificiale in matematica

Questo sarà un incontro, non un seminario. Noi proponenti non abbiamo competenze specifiche in Intelligenza Artificiale (AI) e, con ogni probabilità, tra i presenti vi saranno persone che ne sanno molto più di noi: contiamo molto sul loro contributo al dialogo.
Alla luce dei progressi dell'AI, riteniamo sia giunto il momento di ripensare alcuni dei metodi che usiamo per lo studio, la ricerca e la didattica. È un'esigenza che sta emergendo anche presso prestigiose università internazionali e che vede diversi eminenti matematici già all'opera con questi strumenti.
Nonostante l'AI investa svariate tematiche, intendiamo focalizzarci solo sugli aspetti più pratici, con particolare riferimento all'attività matematica. Indicheremo inoltre alcuni strumenti e siti di facile utilizzo.
Tra le varie applicazioni, parleremo dei Large Language Models (LLM): estremamente versatili, possono essere impiegati efficacemente anche per la correzione e il referaggio di testi scientifici.