AI. Il modello italiano Vitruvian-1 al 4° posto sul benchmark MATH-500, prima di Google, Meta e Grok