One hundred and fifty years of mathematics will be proved wrong if a new computer program stops running. Thankfully, it’s unlikely to happen, but the code behind it is testing the limits of the ...

IN 1935, Alan Turing set out to build a reputation by outflanking the world’s leading mathematician. Turing was 22 years old, and a new fellow at Cambridge. His target, David Hilbert, was the ...

David Craven does not work for, consult, own shares in or receive funding from any company or organization that would benefit from this article, and has disclosed no relevant affiliations beyond their ...