L'AI risolve un problema di Erdős che aveva sconcertato i matematici
Un sistema di AI ha risolto con successo un problema matematico di lunga data posto per la prima volta da Paul Erdős, uno dei matematici più prolifici del XX secolo. Il problema, relativo alla teoria dei numeri combinatoria, aveva resistito alla soluzione da parte di matematici umani per decenni. I ricercatori hanno detto che l'AI ha impiegato tecniche innovative di riconoscimento di pattern e ragionamento automatico che differivano fondamentalmente dagli approcci umani, aprendo nuove strade per la scoperta matematica assistita da macchine.
Gli astronomi trovano una coppia record di buchi neri
In uno sviluppo separato, gli astronomi potrebbero aver identificato una coppia record di buchi neri, potenzialmente il sistema binario di buchi neri più massiccio mai osservato. La scoperta, fatta utilizzando dati di molti osservatori, potrebbe fornire nuove intuizioni su come si formano e si fondono i buchi neri supermassicci. Se confermata, la coppia sfiderebbe i modelli esistenti di crescita dei buchi neri ed evoluzione delle galassie.
Nuova specie di antico orso-cane identificata in Spagna
I paleontologi in Spagna hanno identificato una nuova specie di antico orso-cane, un gruppo ormai estinto di mammiferi carnivori che vagavano per l'Europa milioni di anni fa. La specie, chiamata Paludocyon moyasolai, è stata scoperta in depositi fossili in Spagna e si aggiunge alla crescente comprensione della diversità dei predatori mammiferi che vivevano prima dell'emergere delle moderne linee di orsi e cani.