というかMordell予想の解決したときFaltingsは無名だったろ
abcは何かLangとかも興味持ってるよね
もうお爺さんだから解決は狙ってないだろうけど