Divulgazione

Matematica e Intelligenza Artificiale: una nuova collaborazione (secondo Terence Tao)

Quella tra matematica e intelligenza artificiale è l’alba di una nuova collaborazione. Proponiamo il punto di vista di Terence Tao.

Roma Math Career Day 2026, aperte le iscrizioni!

L'Istituto per le Applicazioni del Calcolo (IAC) e l'Istituto di Analisi dei Sistemi ed Informatica (IASI) del CNR, i dipartimenti di Matematica dei tre atenei romani, Sapienza, Tor Vergata e Roma Tre e la Società Italiana di Matematica Applicata e Industriale SIMAI...

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. Dall'altro, incombe la paura...

Matematica, IA e creatività

Un professore ha “dimostrato” che un LLM non potrà mai superare la creatività di un bravo dilettante. Ma stiamo facendo la domanda corretta?

Matematicando festival 2026 – A spasso con la matematica per le strade di Locarno

Si è svolta con grande successo la quinta edizione di Matematicando festival, l’evento biennale gratuito promosso dal Centro competenze didattica della matematica (Centro DDM) del Dipartimento formazione e apprendimento / Alta scuola pedagogica della SUPSI, che porta...
La lezione di Federigo Enriques – Convegno

La lezione di Federigo Enriques – Convegno

Giovedì 25 giugno 2026, dalle ore 14.00 alle 18.00, presso l’Aula V3 dell’Università degli Studi di Milano (via Venezian 15), si terrà il convegno “La lezione di Federigo Enriques. Saperi, metodo e formazione nell’insegnamento universitario della matematica”. Promosso...
Macchine come te? (seconda parte)

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)

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

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...
This website uses the awesome plugin.