EVENTI
Si informano tutti gli interessati he il secondo incontro del ciclo di seminari sul tema “Matematica per l’Intelligenza Artificiale” si terrà in modalità online al link accessibile tramite la locandina in allegato.
Mercoledì 22 aprile alle ore 14:00, su Microsoft Teams, la Prof.ssa Nirvana Coppola (Università di Padova) terrà un seminario dal titolo:
Proof assistant nell’era dell’IA: come l’apprendimento automatico sta cambiando il modo di fare dimostrazioni
Abstract: Con la crescente complessità degli articoli di ricerca in matematica, diventa sempre più importante disporre di strumenti che certifichino automaticamente la correttezza delle dimostrazioni. I proof assistant, sviluppati già dagli anni ’60, permettono di scrivere dimostrazioni completamente formali e verificate dal computer. Negli ultimi anni, grazie anche all’impegno di matematici come Kevin Buzzard e Terence Tao, l’interesse per la formalizzazione è cresciuto notevolmente. Sono nate così ampie librerie matematiche in sistemi come Lean. Nel seminario sarà introdotto Lean con esempi pratici e interattivi e saranno presentati alcuni contributi della professoressa Coppola alla libreria mathlib.