Un consorzio costituito da dozzine di laboratori di tutto il mondo, in analogia con quelli che hanno portato a termine il Progetto genoma umano, dopo sei anni di lavoro ha concluso il sequenziamento del genoma bovino. In particolare è stato esaminato il patrimonio genetico di una vacca di razza Hereford, di nome Dominette, il primo caso di ruminante e in generale di mammifero di cui si è analizzato l'intero DNA, se si escludono l'uomo e gli animali da laboratorio. Nei 29 cromosomi somatici della mucca e nel suo cromosoma X sono stati individuati almeno 22.000 geni codificanti proteine, accompagnati da un numero elevatissimo di sequenze ripetute. Cinque dei 1.032 geni responsabili del metabolismo negli esseri umani sembrano però mancare, suggerendo la presenza di differenti vie metaboliche. «Ma quel che fa essere una mucca una mucca» ha commentato Harris Lewin, direttore dell'Institute for Genomic Biology dell'Università dell'Illinois, uno dei coordinatori dell'impresa «sono soprattutto le caratteristiche legate alla riproduzione, alla produzione di latte e al sistema immunitario dell'animale, che aprono nuove prospettive di studio a favore degli allevamenti».
Mucca svelata
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].