Mathematicians plan computer proof of Fermat’s last theorem

[Pelican Press 0]

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 aⁿ + bⁿ = cⁿ for any integer n greater than 2. Fermat…

This is the hidden content, please

• Sign In
• or
• Sign Up

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

This is the hidden content, please

• Sign In
• or
• Sign Up