去年wcscに来てた山下先生の師匠が証明したABC予想について、今年の大会でも来てもらって一般人向けに説明して貰えるのかな?