Mathematicians plan computer proof of Fermat’s last theorem

by Pelican Press
73 views 2 minutes read

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

numbers
#Mathematicians #plan #computer #proof #Fermats #theorem

You may also like