AI models are solving mathematics problems with increasing pace, and a technique called formalisation is key to demonstrating that their claimed solutions are indeed correct. But can we trust the formalisation process?

Unlike most modern mammals, which get just two sets of teeth in their lifetime, an ancient species from the Cretaceous, found in China, appears to have had the ability to replace its teeth

A newly discovered part of the brain is essential for successful embryo implantation in mice. It may help to explain why some pregnancies and IVF attempts fail

The mainstream view is that there are no particularly critical phases in the development of the immune system, but a study of hundreds of infants suggests otherwise

Exit Party by Emily St. John Mandel is the October read for the New Scientist Book Club In the first spring after the collapse of the United States, the blossoming of the jacaranda trees

The psychedelic drug LSD eased anxiety in a late-stage trial, paving the way for a probable approval in the US within the next two years

How do you get the science right in a sci-fi book? Columnist Annalee Newitz started by asking many kinds of researchers lots of very strange questions – and ended up in love with

Graham Farmelo has written the first authorised biography of the famous physicist. He should be applauded for digging into various controversies – but could have gone further, says Jacob Aron