日本人研究者が開発した「ABC予想の証明」、発表から13年が経過した結果…