ある日目が覚めて、1970年代⤵️の数学予想を解こうと決めた話