En 1986, Margulis completó la demostración de la conjetura de Oppenheim con formas cuadráticas y aproximaciones diofantinas.