Science

AI knækker årtier gammelt Erdős-matematikproblem, markerer ny milepæl for maskinræsonnering

18 views

AI løser Erdős-problem, der forvirrede matematikere

Et AI-system har med succes løst et mangeårigt matematikproblem først stillet af Paul Erdős, en af de mest produktive matematikere i det 20. århundrede. Problemet, relateret til kombinatorisk talteori, havde modstået løsning af menneskelige matematikere i årtier. Forskere sagde, at AI'en anvendte nye mønstergenkendelses- og automatiserede ræsonneringsteknikker, der adskilte sig fundamentalt fra menneskelige tilgange, hvilket åbner nye veje for maskinassisteret matematisk opdagelse.

Astronomer finder rekordstort sort hul-par

I en separat udvikling kan astronomer have identificeret et rekordstort par sorte huller, potentielt det mest massive binære sorte hul-system nogensinde observeret. Opdagelsen, gjort ved hjælp af data fra flere observatorier, kan give ny indsigt i, hvordan supermassive sorte huller dannes og smelter sammen. Hvis bekræftet, vil parret udfordre eksisterende modeller for sort hul-vækst og galakseudvikling.

Ny art af gammel bjørne-hund identificeret i Spanien

Paleontologer i Spanien identificerede en ny art af gammel bjørne-hund, en nu uddød gruppe af kødædende pattedyr, der strejfede rundt i Europa for millioner af år siden. Arten, navngivet Paludocyon moyasolai, blev opdaget i fossile aflejringer i Spanien og bidrager til den voksende forståelse af mangfoldigheden af pattedyrs rovdyr, der levede før fremkomsten af moderne bjørne- og hundelinjer.

Source: ScienceNews, Sci.News