Dalla generazione alla verifica: cosa insegna Fermat sull’AI
La formalizzazione di Fermat con Claude e Lean mostra un nuovo modo di verificare il lavoro dell’AI. Dalla matematica agli agenti AI.
Giorno: 10 Settembre 2026
La formalizzazione di Fermat con Claude e Lean mostra un nuovo modo di verificare il lavoro dell’AI. Dalla matematica agli agenti AI.
Sede Milano
Via Privata Cascia, 6
20128 Milano (MI)
Sede Cagliari
Viale Elmas, 142
09122 Cagliari (CA)
