Despite the title (a title with a question in it invites people to comment without reading the post, even more than the usual already high level), this is a rea

Despite the title (a title with a question in it invites people to comment without reading the post, even more than the usual already high level), this is a really good post IMO, with valuable insights into not just mathematics but also the replication crisis elsewhere. (And it does discuss Mochizuki's claimed proof of the abc conjecture, and links to MathOverflow on formalization with proof assistants, to a recent paper discussing Vladimir Voevodsky's views, etc.) This from the first part is sound: > The replication crisis is partly the discovery that many major social science results do not replicate. But it’s also the discovery that we hadn’t been trying to replicate them, and we really should have been. In the social sciences we fooled ourselves into thinking our foundation was stronger than it was, by never testing it. But in math we couldn’t avoid testing it. But the post doesn't stop there! The second part of the post (effect sizes etc), with the examples of power posing and the impossibly hungry judges, is even more illuminating. Thanks!