Matematica e Intelligenza artificiale
La congettura dello Jacobiano, un primo traguardo importante per l’IA
Il 20 luglio scorso un post del matematico Levent Alpöge su X ha scosso il mondo della matematica: la congettura dello Jacobiano è falsa! Subito dopo, in redazione di MaddMaths! abbiamo ricevuto un messaggio del grande matematico italiano Corrado De Concini che...
Cosa sono i proof assistants (e perché sono importanti)
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...
Matematica e Intelligenza Artificiale: una nuova collaborazione (secondo Terence Tao)
La matematica sta cambiando con l’intelligenza artificiale. È un caso l’ultimo teorema dimostrato con l’IA da Giorgio Parisi. In un recente articolo su Quanta si è parlato di questa nuova collaborazione, attraverso una figura che ne è ormai diventata l’emblema:...
La dichiarazione di Leida – Né luddisti, né futuristi: l’Intelligenza Artificiale e il futuro della ricerca matematica
Fin dall’antichità, il progresso ha sempre mostrato una faccia doppia. Da un lato c’è la gioia dell’innovazione: l’ebbrezza di trovarsi a un passo da una rivoluzione e la consapevolezza di far parte di un nuovo capitolo della storia....
Terence Tao e la dieta AI degli studenti
La serie di webinar EMS Lecture Series on Mathematics Education organizzata negli ultimi mesi dall’European Mathematical Society si conclude stasera, venerdì 12 giugno, con la lezione conclusiva di Terence Tao che si terrà in diretta streaming alle 19 sul canale...
Confutata una congettura di Erdős (con una piccola mano dell’AI)
Di recente, un modello di IA di OpenAI ha confutato una celebre congettura di Erdős, il cosiddetto “problema delle distanze unitarie”, ne abbiamo parlato qui. La questione riguardava quanti collegamenti di dimensioni simili si possono tracciare tra punti...
Ingegno artificiale
Maurizio Codogno, meglio noto in rete come .mau., racconta come lui vede la matematica, con la scusa di non doverla insegnare né crearne di nuova. Sir Roger Penrose pensa che le IA non siano intelligenti, ma solo ingegnose. Vedendo gli ultimi risultati, il mio...
Un modello di OpenAI risolve un problema matematico (difficile) vecchio di 80 anni
OpenAI ha annunciato un ulteriore progresso nella capacità di ragionamento dei suoi modelli linguistici, uno dei quali ora ha risolto un problema matematico vecchio di 80 anni. L’azienda, che è prossima alla quotazione a Wall Street, ha dichiarato infatti di...
Macchine come te? (seconda parte)
L’intelligenza artificiale (IA) è un modo semplificato di indicare un insieme di strumenti computazionali costruiti per svolgere compiti complessi in campo cognitivo. Qual è il ruolo di questi strumenti nella matematica attuale e futura? Cambierà il nostro modo...
Macchine come te? (prima parte)
L’intelligenza artificiale (IA) è un modo semplificato di indicare un insieme di strumenti computazionali costruiti per svolgere compiti complessi in campo cognitivo. Qual è il ruolo di questi strumenti nella matematica attuale e futura? Cambierà il nostro modo...
AxiomProver
Maurizio Codogno, meglio noto in rete come .mau., racconta come lui vede la matematica, con la scusa di non doverla insegnare né crearne di nuova. AxiomProver non solo dimostra teoremi, ma dimostra formalmente la dimostrazione. Ma non basta ancora per fare il...
La rivoluzione dell’IA: dagli aspetti scientifici a quelli geopolitici – Video della conferenza di Pierluigi Contucci
Vi proponiamo un video del ciclo “Matematica & …”, promosso dal Centro CQIIA‑MatNet dell’Università degli Studi di Bergamo, in collaborazione con Mathesis Bergamo APS, all’interno del “Piano Lauree Scientifiche”. Nel video, Pierluigi Contucci,...
L’AI risolve alcuni problemi aperti di Erdős
Il matematico ungherese Paul Erdős era famoso per la sua capacità di porre problemi nell’arco di una carriera durata oltre sei decenni. Alla sua morte, nel 1996, Erdős aveva totalizzato un’eredità di oltre 1000 problemi irrisolti, che spaziavano dalla...
Perché la comunità matematica italiana dovrebbe firmare per un Centro Europeo di Ricerca sull’Intelligenza Artificiale
Da qualche mese è stata promossa online una petizione per la creazione di un Centro Europeo di Ricerca sull’Intelligenza Artificiale. Pierluigi Contucci e Giorgio Parisi ce ne spiegano l’importanza per la comunità matematica italiana. L’intelligenza artificiale...
Numeri che pensano, di Paolo Alessandrini (recensione)
Numeri che pensano: le sei grandi idee matematiche dentro l’IA è un libro di Paolo Alessandrini edito da Hoepli, che vuole raccontare la matematica che sta alla base dell’intelligenza artificiale. Ce ne parla Alberto Saracco. Paolo Alessandrini è un...
Matematica, intelligenza artificiale e machine learning: un dialogo per il futuro
Dal 21 al 23 gennaio 2026 si terrà il convegno del gruppo UMI “Mathematics for Artificial Intelligence and Machine Learning” che sarà ospitato dal Dipartimento di Matematica di Sapienza Università di Roma. Scopriamo insieme maggiori dettagli. Negli ultimi anni termini...
Come spiegare le dimostrazioni alle AI?
Maurizio Codogno, meglio noto in rete come .mau., racconta come lui vede la matematica, con la scusa di non doverla insegnare né crearne di nuova. Oggi parla di un progetto per insegnare la matematica agli LLM. Tim Gowers è una medaglia Fields, insomma uno che di...
Le AI ruberanno il lavoro a chi fa matematica?
Maurizio Codogno, meglio noto in rete come .mau., racconta come lui vede la matematica, con la scusa di non doverla insegnare né crearne di nuova. Oggi parla dei progressi delle intelligenze artificiali nel risolvere i problemi matematici. D’accordo, io sono un...
Letture Matematiche: L’intelligenza creata. L’AI e il nostro futuro, Alfio Quarteroni
Brevi consigli per letture matematiche. “L’intelligenza creata. L’AI e il nostro futuro” di Alfio Quarteroni, consigliato da Marco Menale. Siamo nel periodo dell’Intelligenza Artificiale (AI, dall’inglese Artificial Intelligence). Il dibattito pubblico ne è...
News
News di Matematica dall’Italia e dal Mondo
- A partial digestion of the HRT counterexampleby Terence Tao on 6th Agosto 2026 at 18:26
A function of […]
- Double Maths First Thing: Issue 64by Colin Beveridge on 5th Agosto 2026 at 07:45
Double Maths […]
- Carnival of Maths 253
by Colin Beveridge on 4th Agosto 2026 at 21:45The next issue […]
- Aperiodical News Roundup – July 2026
by Katie Steckles on 1st Agosto 2026 at 09:44Here’s a […]
- Double Maths First Thing: Issue 63by Colin Beveridge on 29th Luglio 2026 at 07:45
Double Maths […]
- \(-e^{i\pi}\) to Watch: MathsWithKala
by Katie Steckles on 27th Luglio 2026 at 09:00In this series […]
