2020年4月3日、証明したとする論文が数学専門誌「PRIMS」の特別号に掲載されると決定した。
vs
2020年4月現在、abc予想の解決については、国際的な数学者のコミュニティのコンセンサスが得られていない

で、証明されたの？されてないの？7年検証してるんだろ？どゆこと？