Mathematicians plan computer proof of Fermat’s last theorem



Pierre de Fermat’s scribblings set mathematicians on a centuries-long quest

GRANGER Historical Picture Archive/Alamy

Mathematicians hope to develop a computerised proof of Fermat’s last theorem, an infamous statement about numbers that has beguiled them for centuries, in an ambitious, multi-year project that aims to demonstrate the potential of computer-assisted mathematical proofs.

Pierre de Fermat’s theorem, which he first proposed around 1640, states that there are no integers, or whole numbers, a, b, and c that satisfy the equation an + bn = cn for any integer n greater than 2. Fermat…


Source link

Related Posts