Su primer gran trabajo fue reducir una de las conjeturas de Langlands, de casi 300 páginas, hasta dejarla en 37