Question: What prize did Andrew Wiles win when he proved Fermat's Last Theorem in 1995?
Sentence (from "Math Girls"): On November 23, 2011, an English translation of the book was released by Bento Books, who subsequently released translations of "Fermat's Last Theorem" () and "Gödel's Incompleteness Theorems" () on December 5, 2012 and April 25, 2016, respectively.
Relevant evidence: No