「ABC予想」が日本人の数学者によって証明された。
どう活用できるのかはわからないが、日本人によって証明されたことは喜ばしい。
"ABC conjecture" was proved by a Japanese mathematician.
I don't know how it can be used, but I am happy that it has been proved by the Japanese.
