Mathematician maps AI's abilities onto four 20th-century 'eigenmathematician' styles

prof_g · x · 2026-10-11

A mathematician's Penn talk frames the human/AI math debate via four 20th-century styles: Erdős (shotgunning results—where AI excels), Wiles (deep conjecture-solving—where OpenAI and Anthropic's recent work sits), Grothendieck (field-cracking ur-theory—where AI-enthusiast mathematicians aim but haven't reached), and Milnor (weaving deep connections into elegant narratives—an underexplored direction the author wants to pursue). He ties this to the unproven claim that human taste stays relevant, suspecting room remains for a "creative director" using AI to write the book-of-X for various mathematical X.

Original post →

More from AGI Musings

AGI Musings channel →