← Back to PeopleAWResearcherAndrew WilesMathematician at University of OxfordAndrew Wiles is a mathematician at the University of Oxford.1Mentions1Articles1OutletsCompanies CoveredAnthropic1Columbia University1Imperial College London1Prove2Me1ArticlesMost recent firstMentioned InReferenced in coverageFormalizing Fermat's Last TheoremAnthropicpositiveSep 7, 2026“Mathematician who proved Fermat's Last Theorem in 1995, providing the foundation that Claude's AI formalization built upon.”