그렇게 주장하고싶으면
계산이론에 명제에 증명에관한 계산복잡도이론을 만들고
난제가 올림피아드문제보다 복잡하다는걸 증명하면됨
근데 그와별개로 애초애 그럴리가없음
난제가 압도적으로 어려운게 사실이면 난제를 해결하는 수학자는 연습없이도 올림피아드문제도 껌으로 풀어야되는데 실제로는 개좃밥임
반대로 imo만점자면 연습없어도 일반적인 고딩수학문제는 다 풀어버릴수있음
즉 난제가 올림피아드보다 어렵다하더라도 그차이는 imo와 고딩문재보다 간격이 좁다는것이지