Science & Space · Page 2
AI accelerating research, exploring space and decoding the natural world

An AI Just Verified the Hardest Prime-Number Proof Mathematicians Have Ever Checked
Axiom Math's AxiomProver confirmed a result that sits at the very edge of what we know about primes. The real prize, though, is what this means for the safety of AI-written code.

Fifty Eyes in the Sky: How AI Satellites Are Catching Wildfires Before They Spread
A new network of space-based sensors, paired with AI, aims to spot a wildfire while it is still small enough to stamp out. The first three satellites launched in July. Forty-seven more are planned.

Sfida di Riproducibilità: Cosa Abbiamo Imparato Testando 2.200 Paper su IA
Un massiccio esperimento ha testato le affermazioni di oltre 2.200 paper di ricerca su IA. Ecco cosa rivelano i risultati sulla riproducibilità.

Un Modello AI per Satelliti che Puoi Davvero Usare: l'Allen Institute Apre OlmoEarth Embeddings
OlmoEarth Studio dell'Allen AI può ora esportare "impronte digitali" numeriche di qualsiasi zona della Terra, permettendo ai ricercatori di mappare foreste, rilevare incendi e tracciare i cambiamenti del territorio con quasi nessun dato di addestramento etichettato.

L'IA di OpenAI ha risolto 10 difficili problemi di matematica. Ora i matematici si chiedono quanto valgano i loro lavori.
Un nuovo modello di OpenAI ha risolto puzzle matematici irrisolti da decenni che hanno lasciato perplessi i ricercatori umani per anni. I risultati sono impressionanti. La controversia sul merito attribuito in uno di essi rappresenta un avvertimento su come i laboratori di IA parlano delle persone il cui lavoro utilizzano.

Dimenticati i Semiconduttori: Gli Scienziati Costruiscono la Prossima Generazione di Computer da Cellule Cerebrali Viventi
Blob di neuroni umani coltivati in laboratorio stanno giocando ai videogiochi, guidando robot attraverso labirinti e suggerendo un futuro dove l'intelligenza "artificiale" è fatta di carne, non di silicio.

I ricercatori universitari di IA vengono esclusi dal loro stesso campo
L'avanguardia dell'IA si è spostata dai campus ai laboratori privati. Accademici riuniti di recente da Schmidt Sciences hanno descritto un campo sempre più difficile da finanziare, da studiare e da giustificare.

Questa startup usa l'IA per cercare materiali per chip che si raffreddano meglio
Discovered Materials ha raccolto 9 milioni di dollari per distribuire agenti IA che testano migliaia di potenziali nuovi materiali per chip al giorno, con l'obiettivo di ridurre il calore che rende così costosi i data centre.

Un Revisore non ha Colto il Significato di uno Studio sui Vaccini. L'IA Potrebbe Peggiorare le Cose.
Quando un economista sanitario ha scoperto che i mandati scolastici per il vaccino HPV hanno scarso effetto sui tassi di cancro cervicale, il suo revisore ha pensato stesse attaccando il vaccino stesso. Questo tipo di fraintendimento è comune. Le recensioni generate dall'IA potrebbero renderlo routine.

Il prossimo salto dell'IA nella scienza arriverà dagli agenti ragionanti, non da modelli affamati di dati come AlphaFold
AlphaFold è stato un punto di riferimento, ma le condizioni che lo hanno reso possibile hanno richiesto 53 anni e 21 miliardi di dollari per essere costruite. Per la maggior parte della scienza, un diverso tipo di IA, uno che ragiona e sperimenta passo dopo passo, sta già mostrando cosa viene dopo.

GeoAI, il pacchetto finanziato dalla NASA, consente ai ricercatori di eseguire analisi satellitari con poche righe di Python
Uno strumento gratuito e open-source mira a portare la mappatura basata sull'IA e l'analisi delle immagini satellitari a scienziati senza background di machine learning, con finanziamenti dalla NASA e dall'U.S. Geological Survey.

L'IA di Google DeepMind ha dato alla Giamaica un giorno in più per prepararsi a un uragano di categoria 5
Un nuovo modello di previsione delle tempeste ha previsto che l'uragano Melissa avrebbe colpito la Giamaica cinque giorni prima, un giorno intero prima rispetto a quanto potessero fare gli strumenti più vecchi. Un articolo su Nature afferma che l'IA funziona in modi che nemmeno i suoi creatori riescono a spiegare completamente.

L'IA ha progettato virus funzionanti da zero. Ecco cosa significa veramente
I ricercatori di Stanford hanno utilizzato un grande modello genomico per generare virus batteriofagi funzionali. I virus funzionano. Non sono armi. Ma gli stessi ricercatori si chiedono se dovremmo pianificare in anticipo prima che qualcuno costruisca una versione che miri agli umani.

Il WeatherNext di Google DeepMind dà ai meteorologi un giorno intero in più per avvertire della cicloni
Il laboratorio rilascia il codice e i pesi del modello per un sistema che ha predetto l'intensificazione rapida dell'Uragano Melissa e l'arrivo in Giamaica nel 2025.

37 ricercatori dicono che la scienza dovrebbe smettere di scrivere articoli per gli umani e iniziare a scriverli per l'IA
Una nuova proposta vuole sostituire l'articolo scientifico tradizionale con un formato costruito attorno agli agenti IA. I ricercatori dietro questa iniziativa affermano che il PDF di 350 anni è un ostacolo al progresso scientifico.