Computers can help ensure that mathematical proofs are correct, but translating traditional maths into a machine-readable format is an arduous task. Now, the latest generation of artificial intelligence models is taking on the job, and could change . ...
The skull of a 5-year-old girl who lived 140,000 years ago has similarities with modern Homo sapiens and Neanderthals, suggesting her parents might have belonged to different species ...
Some carbon dioxide absorbed by fig trees gets turned into calcium carbonate within the wood and the surrounding soil, ensuring that the carbon is kept out of the air for longer ...
A study of fossils from the Permian-Triassic extinction event 252 million years ago shows that forests in many parts of the world were wiped out, disrupting the carbon cycle and ensuring that Earth remained hot for millions of years ...
The growth of domestic solar installations opens the possibility of hackers targeting their smart inverter devices as a way to cause widespread power-system failures ...
Not quite crystals and not quite a glass, quasicrystals are an oddity whose properties are not well understood - but now we know how they can remain stable ...
Working in tandem, a quantum computer and a supercomputer modelled the behaviour of several molecules, paving the way for useful applications in chemistry and pharmaceutical research ...
Rocky bodies called protoplanets were thought to have formed slightly earlier in the inner solar system than those beyond the asteroid belt, but now a meteorite from the outer solar system is rewriting that view ...