A colpo d’occhio

Le estate italiane sono sempre più torride. Forse, ci stiamo abituando perché sta cambiando il nostro scenario di riferimento.

Dati, numeri e modelli delle 24 partite di sedicesimi e ottavi di finale di questo Mondiale 2026 a 48 squadre

Come possiamo essere sicuri che una dimostrazione matematica sia davvero corretta? E che cosa succede quando a produrre dimostrazioni – o codice – è un’intelligenza artificiale? In questo articolo, Matteo Acclavio e Fabrizio Montesi ci raccontano cosa sono i proof assistants e perché stanno cambiando il modo di fare matematica e informatica.

Con le intelligenze artificiali che dimostrano teoremi e i programmi che formalizzano le dimostrazioni non ci si divertirà più a fare matematica? I commenti sono di tipo opposto.