← Back to PeopleResearcherGeorge TsoukalasResearcher at Google DeepMindLinkedIn@gtsoukalWebsiteGeorge Tsoukalas is a Ph.D. student at UT Austin advised by Professor Swarat Chaudhuri researching at Google DeepMind.1Mentions1Articles1OutletsArticlesMost recent firstMentioned InReferenced in coverageDeepMind model autonomously solves 9 open Erdős math problems for a few hundred dollars eacharXivpositiveMay 25, 2026“Lead author of paper on AI-driven formal proof search that autonomously resolved 9 open Erdős problems.”