数学者の人のツイートで、最新の共著論文も「Cor 3.12という条件つき」と指摘されましたねー
ABC予想が完全に証明されたので、ここからギャップを埋めていく作業に入る感じでしょうか