All

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).

Il 21 agosto scorso è mancato Claudio Rugarli, già professore di Medicina Interna all'Università Vita-Salute San Raffaele e, prima, alla Facoltà di Medicina e Chirurgia dell’Università degli studi di Milano. Uno dei più autorevoli protagonisti che hanno contribuito a definire il modo in cui la Medicina Interna viene insegnata in Italia, trasmettendo un metodo in cui il rigore scientifico e la chiarezza espositiva si fondono con una costante attenzione alla dimensione clinica e umana della cura.

Le emissioni di gas serra legate al settore militare sono state a lungo escluse dagli inventari climatici ufficiali, nonostante eserciti, guerre e industria della difesa producano grandi quantità di CO₂ provenienti dal consumo di carburante, dalle basi militari, dalla produzione di armi e dalla distruzione degli ecosistemi. In più, gli effetti sul clima non terminano con i combattimenti, perché anche la ricostruzione dei territori distrutti provoca nuove emissioni. Come riporta il Bulletin of the Atomic Scientists, tra le altre cose, gli Stati Uniti hanno un impatto climatico militare significativo causato dall’enormità della loro industria bellica e delle fitte collaborazioni con aziende private. Tuttavia, la mancanza di trasparenza e la segretezza militare rendono difficile conoscere e misurare con precisione l’impatto delle guerre sul clima.

Foto di Matias_Luge da Pixabay

Accusato al Senato di aver creato il virus, occultato l'origine e mentito sulle mascherine, Fauci è stato messo sotto processo politico. I suoi diari, quasi mezzo milione di parole, raccontano errori, sicurezze eccessive e un sistema di controllo che fallì, non il complotto criminale che gli viene attribuito. (Illustrazione realizzata con strumenti di intelligenza artificiale generativa).