abc is still a conjecture
ICM2022の全体講演で念を押されます