そだな
ABC予想はまだ解決されていない
学術誌への掲載＝証明完了ではないからな（朝日はそう記事に書いてたがw）
PRIMSは証明なしでABC予想を解決したとする論文を受理したが、まだギャップがあると断定してないので撤回する必要もない
RIMSの形式化作業を待つしかない