Tento matematicý projekt sa zaoberá tzv. ABC domienkou:
Majme kladné celé čísla a,b,c pre ktoré platí:
a+b=c
a<b<c
a,b,c nemajú spoločných deliteľov
c>rad(abc) - tzv. radikál abc
ABC domienka hovorí, že existuje konečný počet čísel a,b,c pre ktoré platí log(c)/log(rad(abc))>h ; pre akékoľvek reálne číslo h>1.