AI E MATEMATICA - I PROGRESSI RECENTI | Intelligenza Artificiale | Redazione STEM

Come facciamo a fidarci di una dimostrazione di un teorema scritta da un modello AI? In questa live parliamo dei progressi recenti degli LLM in matematica, e discutiamo di come la loro combinazione con proof assistant come Lean stia cambiando il modo di verificare (e scoprire) teoremi.A cura della Redazione STEM di Liberi Oltre Le Illusioni | Presentano Yuri Gardinazzi e Luca Mariot#ia #matematica #intelligenzaartificiale _______ASSOCIATI A LIBERI OLTRE | Per Informarsi, Unirsi e Migliorare L'ItaliaCampagna Associativa 2026https://www.liberioltreleillusioni.it...PUOI ANCHE DONARE IL TUO 5x1000 A LIBERI OLTRE LE ILLUSIONI APShttps://www.liberioltreleillusioni.it...________Speaker, Bio e RisorseLuca Mariot Assistant Professor di informatica, Gruppo di Semantics, Cybersecurity and Services | University of Twente - Membro Redazione STEM di Liberi Oltre Le Illusionihttps://www.liberioltreleillusioni.it...Liberi Oltre Le Illusioni - Redazione STEMhttps://www.liberioltreleillusioni.it..._______Articoli, Eventi e Attività Associative ‧ https://www.liberioltreleillusioni.it/Seguici su YouTubePolitica Internazionale e Interna, Attualità, Economia ‧ @LiberiOltre Scienza e Tecnologia ‧ @liberioltreSTEM Storia, Filosofia, Arte e Scienze Umane ‧ @LiberiOltreAgora Un luogo Aperto, Plurale, non Ideologico e non Identitario. Cerchiamo di diffondere i principi del Merito, della Competenza, della Responsabilità Individuale, della Trasparenza Decisionale e Informativa, della Sussidiarietà, della Tutela delle Libertà Individuali, dell'Economia di Mercato, della Concorrenza e della Solidarietà Individuale e Collettiva... Questa è Liberi Oltre!_______Contenuto distribuito con licenza CC BY-NC 4.0 da Liberi Oltre le Illusioni. https://creativecommons.org/licenses/...