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 ...

Once upon a time, over 40 years ago, a horde of computer scientists descended on the West German city of Dortmund. They were competing to catch an elusive quarry — only four of its kind had ever been ...

There is nothing remarkable about mathematicians' achievements going unrecognised in a wider world changed by their discoveries. The hidden history of Alan Turing is just a particularly bizarre ...

Long ReadThe British mathematician, whose fate was both exceptional and tragic, is considered a founding figure for the idea of artificial intelligence. His story, long overlooked, continues to be ...

The goal of the “busy beaver” game is to find the longest-running computer program. Its pursuit has surprising connections to some of the most profound questions and concepts in mathematics.