← Back to PeopleKAResearcherKenneth AppelCo-author of first computer-assisted proof of four-color theorem in 1970s.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 in 1970s.”