Non vedo l'ora di vedere cosa ci riserverà l'autoformalizzazione nel 2026