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

Liberi Oltre Le Illusioni · Oct 1, 2026 · 1h 3m

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…