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.
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.
Dopo le Fiabe Matematiche di qualche mese fa, pubblicate nella nostra raccolta Storie che contano, questa volta la 2Fs del Liceo Matematico “N. Copernico” di Prato si è cimentata in un altro progetto che coniuga matematica, letteratura e latino (e latinorum) e vi propone quattro problemi ispirati ai Promessi Sposi: s’ha da risolverli?
Il prossimo ottobre si parlerà di didattica della matematica e dell’informatica in un convegno internazionale a Padova che l’ultimo giorno, giovedì 15, includerà anche un workshop di una giornata per docenti di scuole primarie e secondarie di primo grado. Iscrizione al workshop giornaliero gratuita ma obbligatoria (posti limitati). Tutti i dettagli e link nell’articolo.
Dopo le Fiabe Matematiche di qualche mese fa, pubblicate nella nostra raccolta Storie che contano, questa volta la 2Fs del Liceo Matematico “N. Copernico” di Prato si è cimentata in un altro progetto che coniuga matematica, letteratura e latino (e latinorum) e vi propone quattro problemi ispirati ai Promessi Sposi: s’ha da risolverli?
Il prossimo ottobre si parlerà di didattica della matematica e dell’informatica in un convegno internazionale a Padova che l’ultimo giorno, giovedì 15, includerà anche un workshop di una giornata per docenti di scuole primarie e secondarie di primo grado. Iscrizione al workshop giornaliero gratuita ma obbligatoria (posti limitati). Tutti i dettagli e link nell’articolo.
This website uses cookies to improve your experience. We'll assume you're ok with this, but you can opt-out if you wish.AcceptRead More
Privacy & Cookies Policy
Privacy Overview
This website uses cookies to improve your experience while you navigate through the website. Out of these, the cookies that are categorized as necessary are stored on your browser as they are essential for the working of basic functionalities of the website. We also use third-party cookies that help us analyze and understand how you use this website. These cookies will be stored in your browser only with your consent. You also have the option to opt-out of these cookies. But opting out of some of these cookies may affect your browsing experience.
Necessary cookies are absolutely essential for the website to function properly. This category only includes cookies that ensures basic functionalities and security features of the website. These cookies do not store any personal information.
Any cookies that may not be particularly necessary for the website to function and is used specifically to collect user personal data via analytics, ads, other embedded contents are termed as non-necessary cookies. It is mandatory to procure user consent prior to running these cookies on your website.
by Katie Steckles on 22nd Giugno 2026 at 09:00
