Add Yahoo as a preferred source to see more of our stories on Google. Andrew Wiles, the mathematician who presented a proof of Fermat's last theorem back in 1993, stands next to the famous result. AP ...

A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...

Did you know the number 26 is rather special? It is the only number that sits directly between a square number (25 or 5 2) and a cube number (27 or 3 3). And to be clear, it’s not merely that we’ve ...

For Wiles’s proof, you have to leave the algebra you know from school and enter more branched mathematical areas. In fact, ...

The following is an extract from our Lost in Space-Time newsletter. Each month, we hand over the keyboard to a physicist or mathematician to tell you about fascinating ideas from their corner of the ...