ABC予想の証明って随分前に論文出したけど証明するのに新しい理論持ち出してきたからよくわかんなくて精査に時間がかかってるとかじゃなかったっけ