New Scientist Space - Space Headlines

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 face of maths research

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