1. 정수론 분야에서 abc conjecture라고 불리는 수학 난제가 있었음.

2. 너무 어려워서 지난 27년간 아무도 풀지 못 했음.

3. 모치즈키라는 교토 대학 한 교수가 증명을 공개함.

4. 증명이 너무 길고 난해해서 아무도 이해할 수 없었음.

5. 외국 초청에도 응하지 않고 오직 일본어 강의로만 자기 증명에 대해 가끔 이야기 해서 증명에 대한 힌트도 사람들이 잡지 못 하고 있음. (영어는 잘 함에도 불구하고)