svxml·4 年前·議論Andrew Wiles (for proving the Fermat-Wiles theorem as a consequence of the Shimura-Taniyama-Weil conjecture proof)