Ricerca
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...
Il punto sulle medaglie Fields 2026
Le 4 Medaglie Fields 2026 sono: Yu Deng, John Vincent Pardon, Jacob Tsimerman e Hong Wang. La consegna è avvenuta a Philadelphia presso il Pennsylvania Convention Center, assieme ad altri premi e riconoscimenti. Marco Menale fa un’ampia sintesi su come è andata....
Diretta Live sulla cerimonia di inaugurazione dell’ICM e dei premi IMU 2026
Seguite il nostro liveblogging sulla cerimonia di inaugurazione dell’ICM 2026 con la consegna dei maggiori premi matematici dell’International Mathematical Union, a partire dalle medaglie Fields. Questa pagina è in aggiornamento continuo. Partecipano alla...
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,...
Il gioco che potrebbe non finire mai
“Straccia-camicia” sembra un gioco banale, eppure nasconde un enigma che ha sfidato i matematici per decenni: esiste una partita che non finisce mai? La risposta definitiva è arrivata solo di recente. Ce ne parla Riccardo Moraschi. Vi ricordate quel gioco...
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...
