Podbit · Hard Fork
Over 800 mathematicians signed the Leiden Declaration warning that AI is producing plausible but unreliable proofs, eroding human expertise, and steering mathematical priorities toward what AI is good at rather than what matters. Kevin Hartnett reads it as a field asserting: this is our discipline, and you don't get to tell us how it runs.
Where this was said
At 42:37 · chapter starts 40:20
Hartnett offers a memorable vignette from the Institute for Advanced Study in Princeton — described as 'the citadel of modern math.' In one afternoon, he encountered two top-tier mathematicians with completely opposite views. The first had just closed Gemini in frustration after it told him something demonstrably false. The second, superficially similar on paper, predicted that AI would put mathematicians out of business within 2 years because it would soon be strictly better than humans at all of it. Terence Tao — the greatest living mathematician and most important figure in the debate — sits squarely in the middle [1] — Kevin Hartnett "At the Institute for Advanced Study, Kevin Hartnett met two top mathematicians in one afternoon with polar opposite views — one dismissed A…" 40:18 . Tao's view, which Kevin Roose describes from a recent OpenAI video, is that AI is like an 'Iron Man suit' or a 'jetpack for thoughts': it allows mathematicians to test many more ideas quickly, radically lowering cognitive friction for exploratory work. Hartnett suspects the dismissive camp was in the majority a year ago but is shrinking rapidly.
Over 800 mathematicians signed the Leiden Declaration expressing deep concern about irresponsible AI use in mathematics and potential erosion of the discipline.
Social norms compress behavior so effectively that we assume other minds are similar to ours. They almost never are. After running over 100 psychology studies, Greenberg's biggest finding is that humans are far more different from each other than we intuitively believe.
The widely shared claim that we have a credit card's worth of plastic in our brains may be a massive overestimate. Researchers used nitrile gloves to measure microplastics — and nitrile gloves shed microplastic particles onto the measuring device. A second paper found the original tool used was unreliable, and that we may have far less plastic than reported.
RSD isn't just hurt feelings — it's a dopamine-deficient brain with a hyperactive amygdala and a frayed connection to the prefrontal cortex. Add a surge of norepinephrine and you get chest pain, sweating, and trembling that convinces your body something catastrophic is happening.
In Dan Ariely's door experiment, participants sacrificed the highest-reward door — repeatedly — just to avoid seeing other doors disappear. Even when researchers trained them to use the best door, they kept wasting clicks to maintain options. This is the bias that runs our lives: we'll take a worse outcome to preserve the feeling of optionality.
Dan Gilbert discovered that the brain has a 'psychological immune system' — it misremembers, reframes, and rationalizes to keep you satisfied with whatever you chose. The fear before commitment is all about potential regret. But after committing, your brain quietly starts justifying the choice — and the more irreversible the decision, the stronger the effect.
The psychological immune system can get you through the first few months of any commitment. But durable, long-term well-being requires self-concordance — choosing commitments that are genuinely aligned with your values and what you actually want. Without that alignment, the satisfaction fades fast.
Vision didn't just help animals find food — it ignited the Cambrian explosion of speciation. Half of the human cortex is devoted to visual processing, and that same visual hierarchy directly inspired the neural network architectures powering today's AI.
Peptides come loaded with a powerful narrative: regenerative, subcutaneous, targeted, cutting-edge. That narrative can genuinely move outcomes, especially for pain, energy, and recovery. The RCT's job is to quantify how much additional benefit comes from the molecule itself — above and beyond the compelling story surrounding it.
A pharmaceutical is not an amino acid sequence — it is the successful solution to manufacturing, purification, formulation, and consistency challenges. When clinical trials prove a drug works, they validate a specific product under specific processes, not every preparation that shares the same sequence.
We use essential and analytics cookies to run Vuci. To understand how the site is used: Privacy Policy.
Install Vuci on your phone
Add it to your home screen for a faster, app-like experience.
Install Vuci on your phone
Tap the Share button, then “Add to Home Screen”.
A new version is available
Reload to get the latest Vuci.