ABC Conjecture
The ABC Conjecture, proposed by Masser and Oesterlé in 1985, constrains the relationship between the additive and multiplicative structure of integers. Mochizuk…
Mathematics
Domain level open problem
CLASSICAL-NT
Book I
Public
Manuscript
Lean · Formalized
Kernel
In plain language
The ABC Conjecture, proposed by Masser and Oesterlé in 1985, constrains the relationship between the additive and multiplicative structure of integers. Mochizuk…
Overview
The ABC Conjecture, proposed by Masser and Oesterlé in 1985, constrains the relationship between the additive and multiplicative structure of integers. Mochizuki’s claimed proof (2012) via Inter-Universal Teichmüller Theory remains contested.
Result Statement
ABC Conjecture is structurally adjacent to the hyperfactorization theorem. No derivation yet. Status: Not Addressed.
Cross-references
Glossary terms
Metaphysics: Relation (multi-source admissible morphism)