과학/우주/의학 증명되었는데도 증명하기 위해 수학자들이 노력하는 문제

여담:처음 컴퓨터 노가다로 풀어보자는 제안이 나왔던 1960년대 당시(50년대 아님,본문이 틀린거임)엔 컴퓨터 성능이 아직 구렸기 때문에 4색정리 증명작업은 1976년이 되어서야 겨우겨우 수학자 볼프강 하켄,케네스 아펠에 의해 실행될 수 있었고 그나마도 증명작업 전에 하켄과 아펠이 검토해야할 지도의 수를 최대한 단순화해야만 했습니다.
또한,증명작업이 끝나자 하켄과 아펠은 컴퓨터가 증명한 것이 맞는지 확인하기 위해 컴퓨터의 증명본을 다시한번 검토했었는데 이때 하켄의 자식들이 검토에 큰 도움을 주었고 이때의 경험이 거름이 된건지 후일 하켄의 자식들은 모두 수학자로 대성하게 됩니다.

과찬이십니다 ㅎㅎ
그냥 잡지식이 많은거에요

페르마의 마지막 정리를 페르마 시대의 수학 지식으로 증명하려는 수학자들도 있다던데