Matematica e Intelligenza artificiale
L’ AI e l’ipotesi di Riemann: un piccolo progresso
L’ipotesi di Riemann è uno dei grandi problemi irrisolti della matematica, tanto che c’è un premio di un milione di dollari per chi fosse capace di risolverla. Una versione non pubblica di Claude ha affrontato il problema senza tuttavia risolverlo, ma ha...
I matematici e l’AI: impazienti, disordinati, edonisti alla riscossa?
Una chiacchierata estiva tra una matematica appassionata, Sandra Lucente, e un matematico con interessi nell’AI, Antonio Macchia, con qualche preoccupazione per l’AI e qualche riflessione sul futuro che ci aspetta, alla ricerca della matematica per le...
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...
