En 1785, basándose en los trabajos de su predecesor Euler, formula una nueva conjetura sobre la ley de reciprocidad cuadrática, que luego sería demostrada por Gauss.