Le autorità cinesi hanno confermato che l’autista di autobus trentanovenne deceduto nei giorni scorsi a Shenzen era stato colpito dal virus influenzale H5N1. E’ la prima vittima documentata dell’aviaria dal giugno 2010. L’uomo, ricoverato il giorno di Natale, non risulta aver avuto contatto con uccelli o pollame nel mese precedente l’esordio della febbre, né pare abbia mai lasciato la città, una ricca metropoli di 10 milioni di abitanti al confine con Hong Kong, da cui è separata solo da uno stretto corso d’acqua. Qui le settimane scorse era scattato l’allarme dopo che due uccelli erano risultati positivi al virus: 19.000 volatili che potevano aver contratto l’infezione sono stati soppressi e il commercio di pollame vivo è stato temporaneamente bandito. Il caso dell’autista di Shenzen sembra però isolato. Delle 120 persone che avevano avvicinato l’uomo per fortuna nessuno sembra ancora aver manifestato alcun sintomo. La notizia tuttavia ricorda quanto sia importante tenere alta la soglia di attenzione e alimentare la ricerca nei confronti di questa potenziale minaccia che incombe sull’umanità in natura, anche senza l’intervento di eventuali terroristi evocato nelle ultime settimane.
H5N1 colpisce ancora
Primary tabs
prossimo articolo
I matematici artificiali sono arrivati, li aspettavamo da un secolo
Nel giro di quattro giorni sono arrivate due notizie clamorose dal mondo dell’intelligenza artificiale applicata alla matematica: la formalizzazione completa della dimostrazione dell’“ultimo teorema di Fermat” e la soluzione (attualmente ancora da verificare) di un “problema del millennio” relativo alle equazioni di Navier–Stokes. Molte le reazioni, dall’entusiasmo dei tecno-ottimisti, alla paura dei tecno-pessimisti, fino alla preoccupazione di chi sostiene che l'interesse delle compagnie di IA alla soluzione dei grandi problemi aperti eroda gli aspetti culturalmente più rilevanti della ricerca matematica. Sono tutte reazioni comprensibili, e a parere dell'autore alcune sono anche molto ben motivate. Eppure, che le macchine contribuiscano in modo decisivo a dimostrare teoremi non dovrebbe sorprendere più di tanto. Per oltre un secolo, una piccola ma molto motivata comunità di matematici, e poi di logici e infine di informatici teorici, ha coltivato proprio questo sogno, oggi diventato realtà grazie al progresso tecnologico e a investimenti senza precedenti. (Illustrazione realizzata con strumenti di intelligenza artificiale generativa).
Nei primi giorni di settembre 2026, due annunci hanno dato l’impressione che il futuro della matematica fosse arrivato tutto d’un colpo[1].