|
gptkb:Suslin_hypothesis
|
Jensen (consistency relative to ZFC)
|
|
gptkb:Prime_Number_Theorem_for_arithmetic_progressions
|
gptkb:Landau
|
|
gptkb:Kontsevich–Witten_theorem
|
gptkb:Maxim_Kontsevich
|
|
gptkb:Artin_conjecture
|
abelian extensions
|
|
gptkb:Lovász's_proof_of_Kneser's_conjecture
|
gptkb:Kneser's_conjecture
|
|
gptkb:Cook-Levin_theorem
|
gptkb:Leonid_Levin
|
|
gptkb:Taniyama–Shimura–Weil_conjecture
|
Richard Taylor
|
|
gptkb:five_color_theorem
|
mathematical induction
|
|
gptkb:Cook's_theorem
|
polynomial-time reduction
|
|
gptkb:Picard–Lindelöf_theorem
|
uniqueness of solution under Lipschitz condition
|
|
gptkb:Monstrous_Moonshine_conjecture
|
gptkb:Richard_Borcherds
|
|
gptkb:Taniyama-Shimura_Conjecture
|
1995
|
|
gptkb:WhistlePig_Old_World_Rye
|
86
|
|
gptkb:Base_Change_for_GL(2)
|
gptkb:Robert_Langlands
|
|
gptkb:modularity_theorem
|
gptkb:Fred_Diamond
|
|
gptkb:Penrose_inequality
|
Hubert Bray
|
|
gptkb:Gersten's_conjecture
|
regular local rings containing a field
|
|
gptkb:Scheinerman's_conjecture
|
2009
|
|
gptkb:Dennis_Gaitsgory_and_Jacob_Lurie_(2022_proof_for_GL(n))
|
gptkb:geometric_Langlands_conjecture_for_GL(n)
|
|
gptkb:topological_Schoenflies_theorem
|
gptkb:L._E._J._Brouwer
|