Nasce l’Habitable Exoplanets Catalog (Hec), database online destinato a scienziati e grande pubblico in cui è possibile trovare informazioni circa i mondi di altri sistemi solari che potrebbero ospitare la vita.
Già 721 gli esopianeti individuati dal Planetary Habitability Laboratory (PHL) dell’Università di Puerto Rico (UPR Arecibo) e numerosi sono quelli in attesa di conferma dalla missione Kepler della NASA.
Diversi i parametri utilizzati per catalogare gli esopianeti: posizionamento nella zona abitabile (HZD – Habitable Zone Distance), somiglianza con la Terra (ESI – Earth Similarity Index), clima (SPH – Standard Primary Habitability), dimensione (asteroidan, mercurian, subterran, terran, superterran, neptunian o jovian), chimica dell’atmosfera e categoria termica. La combinazione di questi criteri ha quindi determinato una sorta di graduatoria, una tavola periodica finalizzata all’individuazione degli esopianeti su cui potrebbero esserci forme di vita animali e vegetali. Un lavoro pertanto molto complesso che riserverà in futuro non poche sorprese e che beneficia del contributo di altri database, tra cui l’Extrasolar Planets Encyclopaedia (exoplanet.eu) e l’Exoplanet Data Explorer (exoplanets.org).
Presto saranno quattro ma sinora gli unici esopianeti in possesso di molti dei requisiti richiesti sono Gliese 581d e Hd 85512b: entrambi presentano atmosfere dense e sono coperti di nuvole d’acqua, più rosse intorno a Gliese 581d in quanto orbitante intorno ad una stella nana di colore, appunto, vermiglio. Raggio, massa e proprietà termiche sono tuttavia le uniche informazioni certe.
In principio fu 51 Pegasi b, il primo esopianeta identificato (1995); l’ultimo in ordine di tempo, invece, Kepler-22b. Annunciata lo scorso dicembre, la scoperta divide gli scienziati: da una parte gli entusiasti, che lo ritengono un pianeta abitabile sia per posizione che per stella di riferimento; dall’altra gli scettici, secondo cui, pur trovandosi nella zona giusta, Kepler-22b ha dimensioni eccessive e quindi non presenterebbe caratteristiche compatibili con la vita. Ma le analisi sono ancora in corso, precisano i ricercatori dal sito ufficiale del Planetary Habitability Laboratory (phl.upr.edu/home).
Un database di pianeti abitabili
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 erode 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].