← Back to PeopleTHResearcherTom HalesMathematician who proved Kepler conjecture and sought formal verification of his proof.1Mentions1Articles1OutletsCompanies CoveredDeepMind1Elsevier1Math Inc1Mathlib1National Science Foundation1Wolfram Research1xAI1ArticlesMost recent firstMentioned InReferenced in coverageThe fall of the theorem economydavidbessis.substack.comcautiousApr 22, 2026“Mathematician who proved Kepler conjecture and sought formal verification of his proof.”