Transcripts — Thomas Hales Profile Thomas Hales: born 1958; Pittsburgh, USA. Related theoremsKepler conjecture (Hales' proof) PagesPerson: Thomas HalesJourney: Thomas HalesTranscripts: Thomas Hales ExploreDashboardTheoremsFrameworksLineagePeople