結局、数学業界定期にはABC予想は証明されたってことになったの?
それともまだグレー状態?