A new foundational crisis in mathematics, is it happening?
arxiv.org