|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:alsoKnownAs
|
gptkb:Fermat's_conjecture
|
|
gptkbp:category
|
solved problems in mathematics
unsolved problems in mathematics (historically)
|
|
gptkbp:difficulty
|
extremely difficult
|
|
gptkbp:formedBy
|
gptkb:Pierre_de_Fermat
1637
|
|
gptkbp:hasConjectureNumber
|
gptkb:23_(in_Hilbert's_list)
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Fermat's Last Theorem
|
|
gptkbp:influenced
|
gptkb:Langlands_program
modern algebraic number theory
development of Galois representations
|
|
gptkbp:influencedBy
|
previous work on Pythagorean triples
|
|
gptkbp:inspiredBy
|
gptkb:Taniyama–Shimura_conjecture
|
|
gptkbp:mentionedIn
|
gptkb:Fermat's_margin_note
|
|
gptkbp:notableFor
|
being unproven for over 350 years
|
|
gptkbp:proofTechnique
|
gptkb:Ribet's_theorem
gptkb:Taniyama–Shimura–Weil_conjecture
gptkb:modularity_lifting_theorem
|
|
gptkbp:provenBy
|
gptkb:Andrew_Wiles
|
|
gptkbp:publishedIn
|
gptkb:Annals_of_Mathematics
|
|
gptkbp:relatedTo
|
gptkb:Diophantine_equations
modular forms
number theory
elliptic curves
|
|
gptkbp:solvedBy
|
gptkb:Andrew_Wiles
|
|
gptkbp:solvedWithHelpFrom
|
gptkb:Gerhard_Frey
gptkb:Nick_Katz
gptkb:Jean-Pierre_Serre
gptkb:John_Coates
gptkb:Barry_Mazur
gptkb:Brian_Conrad
gptkb:Ken_Ribet
Richard Taylor
|
|
gptkbp:state
|
No three positive integers a, b, and c satisfy the equation a^n + b^n = c^n for any integer value of n greater than 2.
|
|
gptkbp:subjectOf
|
gptkb:BBC_documentary_'The_Proof'
Simon Singh's book 'Fermat's Enigma'
numerous mathematical papers
|
|
gptkbp:yearProved
|
1994
|
|
gptkbp:bfsParent
|
gptkb:Andrew_Wiles
|
|
gptkbp:bfsLayer
|
4
|