Quattro storie recenti che mostrano che la matematica è tutt'altro che "finita"

 

La matematica ha la reputazione di essere una disciplina "conclusa" — un edificio di verità stabilite da secoli. In realtà è tutt'altro: negli ultimi anni si sono aperti fronti di ricerca sorprendenti, alcuni dei quali coinvolgono persino l'intelligenza artificiale come collaboratrice nella scoperta di nuove dimostrazioni. Ecco una panoramica di alcune delle novità più interessanti per chi segue la matematica da appassionato.

🔹 1. L'intelligenza artificiale entra nelle dimostrazioni

Negli ultimi anni, sistemi come AlphaProof di DeepMind hanno raggiunto risultati di livello da medaglia olimpica nella risoluzione di problemi di matematica competitiva, lavorando in linguaggi di dimostrazione formale come Lean. Non si tratta di "calcolare" — questi sistemi costruiscono dimostrazioni logiche verificabili passo per passo, lo stesso tipo di rigore richiesto a un matematico umano. Il punto interessante non è solo che una macchina risolva problemi, ma che l'intero ecosistema della matematica formale (progetti come mathlib, la libreria collaborativa di Lean) stia diventando abbastanza maturo da rendere possibile questo tipo di collaborazione uomo-macchina su vasta scala.

🔹 2. Un nuovo tassello nella teoria di Ramsey

La teoria di Ramsey studia una domanda apparentemente semplice: quanto deve essere grande un gruppo perché emerga inevitabilmente un certo tipo di struttura ordinata? Il calcolo esatto dei "numeri di Ramsey" è tra i problemi più difficili della combinatoria — per R(5,5), il valore esatto è ancora sconosciuto, ma negli ultimi anni sono stati fatti progressi concreti nel restringere l'intervallo dei valori possibili, grazie a nuove tecniche probabilistiche e a un uso sempre più spinto della ricerca computazionale assistita. È un buon esempio di come, in matematica, "non sapere ancora la risposta esatta" possa comunque generare decenni di scoperte lungo il percorso.

🔹 3. La tassellazione che non si ripete mai: "the hat"

Nel 2023 un gruppo di ricercatori (Smith, Myers, Kaplan e Goodman-Strauss) ha annunciato la scoperta della prima tassellazione aperiodica con una singola forma — soprannominata informalmente "il cappello" (the hat) — capace di ricoprire il piano senza mai ripetere lo stesso motivo, e senza bisogno di combinare due o più forme diverse come nelle celebri tassellazioni di Penrose degli anni '70. Era un problema aperto da decenni: si sapeva che esistevano insiemi di poche forme capaci di tassellare aperiodicamente, ma si ignorava se una singola forma bastasse. La dimostrazione ha richiesto sia argomenti geometrici classici sia una verifica computazionale estesa — un altro esempio di come il confine tra "carta e penna" e "calcolo assistito" si stia facendo sempre più sottile.

🔹 4. Eleganza inaspettata: la congettura della sensitività

Vale la pena ricordare anche una storia più recente nella memoria collettiva dei matematici: nel 2019 Hao Huang risolse la cosiddetta "congettura della sensitività", un problema aperto da decenni nella teoria della complessità computazionale, con una dimostrazione di poche righe basata su un argomento di algebra lineare elementare — autovalori di una matrice associata all'ipercubo. La community ne rimase scioccata: un problema che aveva resistito per trent'anni a tentativi sofisticati è caduto davanti a uno strumento che si insegna al primo anno di università, usato in un modo a cui nessuno aveva pensato prima.

✅ Perché conta, anche per chi non fa ricerca

• Mostra che la matematica non è un corpo statico di conoscenze, ma un campo vivo con problemi aperti ancora oggi.
• La collaborazione uomo-macchina nella dimostrazione formale è probabilmente destinata a cambiare il modo in cui si fa ricerca matematica nel prossimo decennio.
• Alcune delle scoperte più eleganti (come quella di Huang) ricordano che intuizione e semplicità restano centrali, anche nell'epoca del calcolo assistito.

La prossima volta che qualcuno dice che "in matematica è già stato scoperto tutto", si può rispondere con questi quattro esempi: c'è ancora moltissimo terreno da esplorare, e gli strumenti per farlo stanno cambiando sotto i nostri occhi.