Hipoteza ABC, po raz pierwszy została przedstawiona przez Józefa Oesterle i Davida Massera w 1985 roku. Hipoteza nie została dotychczas udowodniona, ale w czasie jej badania odkryto wiele ciekawych przypadków w teorii liczb (vide: powiązane).

Shinichi Mochizuki zapowiedział, że jego dowód będzie gotowy w 2012 roku i oto jest. Minie sporo czasu, zanim zostanie on przeanalizowany (ok. 500 stron z wykorzystaniem autorskich teorii z jeszcze innych prac) i jeśli jest poprawny, pociągnie za sobą wiele innych hipotez powiązanych z hipotezą abc.