← Back to PeopleWHResearcherWolfgang HakenCo-author of first computer-assisted proof of four-color theorem using computational methods.1Mentions1Articles1OutletsCompanies CoveredDeepMind1Elsevier1Math Inc1Mathlib1National Science Foundation1Wolfram Research1xAI1ArticlesMost recent firstMentioned InReferenced in coverageThe fall of the theorem economydavidbessis.substack.comcautiousApr 22, 2026“Co-author of first computer-assisted proof of four-color theorem using computational methods.”