← Back to PeopleTDResearcherTom de GrootA PhD student in the Department of Orthopaedic Surgery at the University of Groningen.1Mentions1Articles1OutletsCompanies CoveredDeepMind1Elsevier1Math Inc1Mathlib1National Science Foundation1Wolfram Research1xAI1ArticlesMost recent firstMentioned InReferenced in coverageThe fall of the theorem economydavidbessis.substack.comcautiousApr 22, 2026“Orchestrated the only credible formalized solution to a First Proof problem through manual effort.”