Hipoteza abc (hipoteza Oesterle-Massera, hipoteza ABC) – zagadnienie z teorii liczb. Po raz pierwszy problem został przedstawiony przez Josepha Oesterlé i Davida Massera w 1985 roku.
Sformułowanie problemu Przed sformułowaniem hipotezy wprowadzić należy kilka pojęć.
Niech dane będą względnie pierwsze liczby całkowite dodatnie spełniające równość
Zdefiniujemy następujące funkcje:
gdzie oznacza część bezkwadratową iloczynu czyli iloczyn wszystkich różnych liczb pierwszych będących dzielnikami liczb (na przykład: ponieważ w rozkładzie 12, 9 i 13 na czynniki pierwsze występują tylko 2, 3 i 13).
Wiadomo, że istnieje nieskończenie wiele takich trójek liczb że Hipoteza ABC jest natomiast przypuszczeniem, że Dla każdej liczby istnieje co najwyżej skończenie wiele trójek liczb spełniających warunek
czyli, w szczególności, że istnieje skończenie wiele trójek spełniających: itd.