L'AI raggiunge una svolta nella matematica pura
Un sistema di intelligenza artificiale ha risolto un problema matematico vecchio di decenni associato a Paul Erdos, uno dei matematici più prolifici della storia. Il problema, che aveva resistito alla soluzione umana per anni, è stato risolto da un'AI che ha dimostrato capacità di ragionamento astratto precedentemente considerate esclusive dei matematici umani. Il risultato è salutato come una pietra miliare nella ricerca AI.
Gli scienziati chiedono nuovi quadri di supervisione
Dopo la svolta, esperti scientifici e matematici chiedono misure di salvaguardia per governare la ricerca guidata dall'AI. La preoccupazione è che i sistemi AI possano produrre risultati più velocemente di quanto la comunità scientifica possa convalidare o comprendere. L'appello riecheggia dibattiti più ampi sulla sicurezza e trasparenza dell'AI, mentre i ricercatori sono alle prese con le implicazioni di macchine che possono eguagliare o superare le capacità umane in domini specializzati.
La NASA ridimensiona le ambizioni di ricerca della vita su Marte
In altre notizie scientifiche, la NASA sembra allontanarsi dal suo obiettivo di lunga data di cercare la vita su Marte, secondo gli scienziati planetari. La strategia in evoluzione dell'agenzia spaziale dà priorità al ritorno dei campioni rispetto alla rilevazione in situ della vita. Nel frattempo, la "macchia fredda" del Nord Atlantico potrebbe segnalare un declino della circolazione atlantica meridionale (AMOC), una corrente oceanica che regola il clima e che gli scienziati dicono mostri una preoccupante debolezza.