I wonder what the current status of Vandiver's conjecture in number theory is? An internet search revealed the paper "Vandiver's conjecture via K-theory" by Alexander Stolin from 2020 on the arxiv where Stolin claims to prove the Vandiver conjecture. However, I didn't find that paper on mathscinet, so it does not seem to be published yet.

Is it suitable for MO to ask about the status of Vandiver's conjecture?