Science ❯ Mathematics ❯ Theorems
Proof Techniques AI in Mathematics
The Norwegian Academy honored him for the 1983 solution to the Mordell conjecture, a result that transformed arithmetic geometry.