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

<p>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 <strong>Yuri Gardinazzi</strong> e <strong>Luca Mariot</strong><a href="https://www.youtube.com/hashtag/ia" target="_blank" rel="ugc noopener noreferrer">#ia</a> <a href="https://www.youtube.com/hashtag/matematica" target="_blank" rel="ugc noopener noreferrer">#matematica</a> <a href="https://www.youtube.com/hashtag/intelligenzaartificiale" target="_blank" rel="ugc noopener noreferrer">#intelligenzaartificiale</a> _______<strong>ASSOCIATI A LIBERI OLTRE</strong> | <em>Per Informarsi, Unirsi e Migliorare L&#39;Italia</em>Campagna Associativa 2026<a href="https://www.youtube.com/redirect?event=video_description&redir_token=QUZZTVljSG1EekVTbTNvYTl4TVdmaUNxWHhvbXxBTl9pYzRjdkV3cFdjU3hwQWxrR1NfNzBMZkpuWFlVclFwNVUzdmE5YmR4czhoNGh4T0hfTFVfcVlHM19IanFacHd1SU5MZTROeWNOam9jcEwtMWtTdVVpdUI2X044SFBDdmZ0&q=https%3A%2F%2Fwww.liberioltreleillusioni.it%2Fcontribuisci%2Fassociati&v=g3TK_itJGi0" target="_blank" rel="ugc noopener noreferrer">https://www.liberioltreleillusioni.it...</a>PUOI ANCHE <strong>DONARE IL TUO 5x1000 A LIBERI OLTRE LE ILLUSIONI APS</strong><a href="https://www.youtube.com/redirect?event=video_description&redir_token=QUZZTVljSG14R3FZczhnRXBqUzgyN3NDclJnX3xBTl9pYzRkR05nY2pwYjJRNGR4NHRxTllmQ1dyTVRncXdfZUJKbW5TdmhuX2o0V1VsSmNMbVlfNHNjVGU4OHlqRVpFZy1uXzVMTWFuR0NrVUY4OVhPWGVBMFJfZTlQbUlsN1BL&q=https%3A%2F%2Fwww.liberioltreleillusioni.it%2F5x1000&v=g3TK_itJGi0" target="_blank" rel="ugc noopener noreferrer">https://www.liberioltreleillusioni.it...</a>________<strong>Speaker, Bio e RisorseLuca Mariot</strong> <em>Assistant Professor di informatica, Gruppo di Semantics, Cybersecurity and Services | University of Twente - Membro Redazione STEM di Liberi Oltre Le Illusioni</em><a href="https://www.youtube.com/redirect?event=video_description&redir_token=QUZZTVljRWpuMERoTVVrUTVpZmM5RWpYR2xneHxBTl9pYzRmam5uVjlBRC1vMEJtcmlRay1TUF8xT2RmZDlwdkhPSTR4NW9wZDM3RXZLVmJMandURHQ2NnlXNlh3V0drb18zRVdFc0ZSZk5JcmxoYUtkcmNUQjlFYi1MaDdySHZj&q=https%3A%2F%2Fwww.liberioltreleillusioni.it%2Fchi-siamo%2Fredazioni%2Fprofilo%2Fluca-mariot&v=g3TK_itJGi0" target="_blank" rel="ugc noopener noreferrer">https://www.liberioltreleillusioni.it