Kummer–Vandiver conjecture — latest news, discussion & facts — IJR