AI solves Erdős problem that baffled mathematicians
An AI system has successfully solved a long-standing mathematics problem first posed by Paul Erdős, one of the most prolific mathematicians of the 20th century. The problem, related to combinatorial number theory, had resisted solution by human mathematicians for decades. Researchers said the AI employed novel pattern-recognition and automated reasoning techniques that differed fundamentally from human approaches, opening new avenues for machine-assisted mathematical discovery.
Astronomers find record-breaking black hole pair
In a separate development, astronomers may have identified a record-breaking pair of black holes, potentially the most massive binary black hole system ever observed. The discovery, made using data from multiple observatories, could provide new insights into how supermassive black holes form and merge. If confirmed, the pair would challenge existing models of black hole growth and galaxy evolution.
New species of ancient bear-dog identified in Spain
Paleontologists in Spain identified a new species of ancient bear-dog, a now-extinct group of carnivorous mammals that roamed Europe millions of years ago. The species, named Paludocyon moyasolai, was discovered in fossil deposits in Spain and adds to the growing understanding of the diversity of mammalian predators that lived before the emergence of modern bear and dog lineages.