수학의 가장 복잡하고 중요한 업적 중 하나로 꼽히는 '유한 단순군 분류 정리(Classification of Finite Simple Groups)'가 약 100명의 수학자들이 50년 이상 매달린 연구 끝에 2004년 최종 완성되었습니다. 이 정리는 모든 유한 단순군(finite simple group)이 18개 무한 계열과 26개 산재군(sporadic group) 중 하나로 분류될 수 있음을 확정하며, 이는 마치 소수가 모든 정수의 기본 구성 요소인 것처럼 유한군의 기본 구성 요소를 밝혀낸 것입니다.
이 분류 증명은 1955년부터 2004년까지 약 100명의 수학자들이 발표한 수백 편의 논문과 수만 페이지에 달하는 방대한 분량으로 이루어져 있습니다. 특히 1983년 다니엘 고렌슈타인(Daniel Gorenstein)이 분류 완성을 발표했지만, 준박형군(quasithin group) 증명에 대한 정보 부족으로 시기상조였습니다. 이후 마이클 애쉬바허(Michael Aschbacher)와 스티븐 스미스(Stephen D. Smith)가 누락되었던 준박형군 경우를 1,221쪽에 걸쳐 증명하면서 2004년에야 비로소 최종 완성이 선언되었습니다. 이 증명은 작은 2-계수 군을 처리한 뒤 나머지를 성분형(component type)과 표수 2형(characteristic 2 type)으로 나누고, 각 후보 단순군의 존재성과 유일성을 확인하는 복잡한 과정을 거쳤습니다.
유한 단순군 분류는 단순군의 각 계열과 산재군별 검사로 유한군에 관한 문제를 환원할 수 있게 하여 군론(group theory) 연구에 혁명적인 영향을 미쳤습니다. 또한, 그래프 동형 문제(graph isomorphism problem)의 이론적 알고리즘 발전과 같은 다양한 분야에 활용되고 있습니다. 현재는 1세대 증명의 지나치게 긴 분량을 단순화하고 통합하는 '2세대 증명'이 활발히 출판되고 있으며, 이는 이미 알려진 최종 분류 목록을 바탕으로 더 효율적인 증명 기법을 적용하여 연구의 접근성을 높이는 데 기여하고 있습니다.