Junto con Joseph Oesterlé, formularon la Conjetura abc en 1985.