A new foundational crisis in mathematics, is it happening? | Dark Hacker News