Matematica e Intelligenza artificiale
Matematica e intelligenza artificiale in nove “no”
Continuano le reazioni del mondo matematico all’annuncio di OpenAI di aver risolto il problema del Millennio riguardante le equazioni di Navier-Stokes. È la volta di Riccardo Adami che propone alcune risposte ad alcune domande che molte persone si stanno...
Il fine, non la fine, della matematica
Il recente caso Navier-Stokes riapre il dibattito sul ruolo dell’intelligenza artificiale nella disciplina: che cosa significa fare matematica nell’era dell’intelligenza artificiale? Una dimostrazione formalmente corretta è sufficiente se non produce comprensione e...
Spunti di riflessione su Ricerca e Intelligenza Artificiale da ODS 2026
Durante la conferenza annuale Optimization and Decision Science – ODS 2026 dell’Associazione Italiana di Ricerca Operativa, la sezione giovani AIROYoung ha organizzato una sessione panel interattiva per discutere delle sfide e delle opportunità che...
Ma non sarà meno umana
L’IA può aiutare a esplorare, può suggerire e far emergere errori, esempi, analogie, strade laterali. Può comprimere settimane di tentativi. Ma alla fine il lavoro matematico resta dove è sempre stato. Ripubblichiamo su MaddMaths! l’articolo di Cristiana...
Appello delle medaglie Fields: un grave disallineamento dell’IA in matematica
Le notizie recenti da OpenAI sulle equazioni di Navier-Stokes hanno creato un notevole interesse, ma anche perplessità, sull’uso dell’intelligenza artificiale in matematica. Per questo motivo 25 medaglie Fields hanno pubblicato una lettera aperta su queste...
Sembra che OpenAI abbia risolto il problema del Millennio delle equazioni di Navier-Stokes
OpenAI ha annunciato che un’intelligenza artificiale avrebbe risolto uno dei sette “Problemi del Millennio” del Clay Mathematics Institute, quelli per cui è in palio un milione di dollari ciascuno (di cui altri cinque sono ancora aperti). Stiamo...
Fermat: la dimostrazione di Wiles era giusta, ora lo dice anche l’AI
L’anno scorso, si è scoperto grazie all’Intelligenza Artificiale che una delle dimostrazioni proposte per l’ultimo Teorema di Fermat era sbagliata. Ora, Anthropic, una delle principali aziende del settore, ha fatto verificare a un gruppo di agenti IA...
Il vero valore della 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. Vale la pena di studiare matematica ora che le IA sembrano farla meglio di noi? Sì, perché il vero punto non è fare...
L’ AI e l’ipotesi di Riemann: un piccolo progresso (con postilla del 4 settembre!)
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...
Terra-314: L’era della Matematica Sperimentale
Aumenta vertiginosamente l’impatto dell’Intelligenza Artificiale sulla Matematica. Ma cosa e come sarà la matematica del futuro? Marco Menale e Marco Trombetti provano a rispondere con una visione, un sogno, per una volta con sede in Italia: EUROPA,...
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...
