AIに尋ねたところ
「望月新一のABC予想証明のキモはガウス積分+alien copy」
だそうなので、a∈aとかinter-universalとか全然本質じゃないっぽい
(望月新一は激怒するだろうけどね(笑))