에를랑겐 프로그램은 성공적으로 종료되었고

힐베르트 프로그램은 괴델 행님이 부정으로 끝장냈고

고렌슈타인 프로그램(Gorenstein's program)은 유한 단순군 분류하면서 수학자들이 성공적으로 끝냈고

최소 모형 프로그램 혹은 모리 프로그램은 아직 진행중이지만 BCHM과 비르카르의 BAB 추측 증명으로 어느정도 진전이 되었고

랭글랜즈 프로그램은 현재 진행중인 가장 큰 프로그램으로 여기서 어느정도 수확을 건지면 필즈상 받는다는 느낌의 분야 


리베 프로그램(Ribe program)

그로스-시버트 프로그램(Gross-Siebert program)

무카이 프로그램(Mukai's program) 

이정도가 위키 뒤지다가 처음 들어본 프로그램인데 수학에 이런거 많이 있음?