Very interesting! As a social scientist, the replication crisis gets me seriously down, making me doubt the integrity of my field. It's good to see that there's not such a problem in maths...