"Why are my American children eating all these berries all of the sudden?" Because they've been tasked to do so by the New International Division of Labor. The children did not come up with the idea of eating berries.
people are scared to acknowledge he used to possess far more vaguely nonbinary swag than Bowie simply because he did so while balding…But a real one can recognize that balding is #PartOfIt
Reading something you’re a little too young for, sensing that you don’t completely get it but still snatching views of vistas you hadn’t previously imagined existed, is one of life’s rare pleasures.
One challenge in checking mathematics is that almost all (informal) math contains minor errors. So when you run across an error, you work to fix it, or decide that it is likely fatal. This is hard work, and relies on the presumption that the vast majority of errors are indeed fixable.
Why should this presumption hold true? It’s because math is typically guided by the intuitions of a truth-seeking mathematician, and these intuitions typically do actually faithfully reflect the behavior of the objects under study. Authors typically stress-test their arguments before making them public. So while some papers do contain fatal errors, or errors that are difficult to correct, the more common situation is that wrong statements are not actually important to the overall argument.
I think it’s possible that, in the future, arguments constructed by AI tools will also have this property (and of course formalization, auto- or otherwise, can help to check correctness). But right now they do not—I think it’s rather more common for such arguments to have fatal errors, especially if they are not verified adversarially.
"You have to be happy", "You should work towards optimizing your happiness". Leave me alone. I'm not happy and I'm not going to be happy. If I wanted that, the time for that was years ago. I'm on a different journey now.
The genie is the fruiting body of the lamp, an impermanent organ, like a blossom—it grants wishes as a negentropic beacon, a signal calling to the insect-gods that might fertilize it