에를랑겐 프로그램:펠릭스 클라인이 제안한 기하학을 군론을 통해서 기술하는 작업. 결과->성공!

힐베르트 프로그램:다비드 힐베르트가 제안한 수학의 완전성과 무모순성을 보이려는 작업. 결과->실패!

서스턴 프로그램:윌리엄 서스턴이 제안한 기하화 추측은 푸앵카레 추측이나 타원화 추측 등을 암시함. 결과->성공! 

모리 프로그램:모리 시게후미의 3차원 대수다양체의 극소 모델 연구 이후 고차원 다양체에서도 극소 모델을 찾으려는 작업. 결과->진행중!

고렌스타인 프로그램:다니엘 고렌스타인이 제안한 유한 단순군을 분류하는 작업. 결과->성공!

랭글렌즈 프로그램:결과->진행중!

기하 랭글렌즈 프로그램:결과->진행중!


대충 찾아봤는데 이거 말고 더 있냐?