Skip to content

Michael Nielsen – How science actually progresses

Dwarkesh Podcast

Hosted by Dwarkesh Patel

2h 3m
Transcript

Original podcast

Summary

Written by a model from the transcript; not yet reviewed.

This episode features a discussion on the history and philosophy of science, exploring how scientific progress actually happens compared to popular narratives. The guest and host examine famous historical turning points—such as the Michelson-Morley experiments, special relativity, the theory of evolution, and the development of quantum computing—to challenge naive views of falsification and linear discovery. They argue that science relies heavily on complex social attribution economies, diverse parallel research programs, and deeply held aesthetics rather than rigid mechanical procedures.

  • Recognize that Michelson and Morley were testing different theories of the ether rather than simply trying to prove it did not exist. 1:53
  • Understand that major paradigm shifts often involve complex responses and resistance from leading figures rather than immediate, unanimous adoption. 6:53
  • Acknowledge that deep theoretical advances require diverse parallel research programs because ex-ante heuristics cannot distinguish between dead ends and breakthroughs. 42:23
  • Anticipate that exploring the vast tech tree of science will continue to yield new fundamental fields and unpredictable discoveries. 53:51

Chapters

  1. 0:00
    Introduction to Scientific Progress

    The host sets the stage, outlining the episode’s focus on recognizing scientific progress, especially in AI.

  2. 0:36
    The Bottlenecks of Scientific Innovation

    Analysis of the various obstacles—verification loops, theory diversity, and human biases—that impede scientific progress.

  3. 1:53
    Falsification and the Limits of Scientific Method

    Exploration of how the ether experiments challenged simple falsificationist views and the complexity of theory choice.

  4. 32:02
    AI’s Role in Accelerating Science

    Examination of AlphaFold, protein folding, and the broader question of AI’s capacity to speed up scientific discovery.

  5. 40:20
    Future Directions: AI and Scientific Methodology

    Speculation on how AI might reshape scientific heuristics, distillation, and the search for explanatory models.

  6. 45:00
    Historical Heuristics: Copernicus, Newton, and Darwin

    Comparative look at how different scientific revolutions unfolded, highlighting the role of heuristics and available evidence.

  7. 49:43
    Mercury’s LLM Transaction Auditing

    The host demonstrates how an LLM can automatically flag personal expenses in business accounts using Mercury’s detailed transaction data.

  8. 50:54
    Alien Tech Stack Speculation

    Discussion of how extraterrestrial civilizations might develop different technological stacks, challenging assumptions about universal science progress.

  9. 51:36
    Tech Tree Depth and Exploration

    Exploration of the vast, largely uncharted tech tree, comparing early physics to modern computer science and the potential for future discoveries.

  10. 1:42:23
    Inverse Problems in Particle Physics

    The host explains the complexity of inverse problems in particle physics and the need for interdisciplinary expertise.

  11. 1:43:57
    Prolificness versus Depth in Creativity

    Exploration of how prolific output relates to depth of understanding, citing Darwin and Einstein as examples.

  12. 1:45:02
    Routine Work and High-Variance Projects

    Differentiating between routine tasks that avoid procrastination and high-variance work that requires deep engagement.

  13. 1:46:56
    Balancing Efficiency and Exploration

    The host shares personal habits of choosing longer walks to remind himself that inefficiency can have benefits.

  14. 1:47:27
    Equal Odds Rule and Creative Productivity

    Discussion of the equal odds rule suggesting that every creative output has an equal chance of being important, emphasizing quantity of work.

  15. 1:48:33
    Avoiding Procrastination and Public Judgment

    Examining how some brilliant people avoid public judgment and the impact on their productivity.

Highlights

  • 1:53

    The True Purpose of Michelson-Morleyinsight

    The guest explains that the famous Michelson-Morley experiments were designed to test competing theories of the ether rather than to prove that the ether did not exist. Leading physicists at the time, including Michelson himself, continued to believe in the ether for decades afterward.

  • 7:55

    Lorentz and Special Relativity Interpretationinsight

    The guest discusses how Lorentz developed the mathematical transformations for reference frames but interpreted length contraction and time dilation as physical pressure effects through the ether. Experimentally, this interpretation was initially indistinguishable from special relativity.

  • 17:31

    Newton Unifying Disconnected Phenomenainsight

    The guest explains that the power of Newton's gravitation theory came from its ability to simultaneously explain terrestrial motion, planetary orbits in accordance with Kepler's laws, and the tides, uniting three distinct phenomena under one framework.

  • 30:08

    Data Acquisition Versus Model Fittinginsight

    The guest argues that the success of AlphaFold is primarily a story of decades of experimental data acquisition via the protein databank rather than a pure triumph of artificial intelligence independent of empirical groundwork.

  • 41:40

    Uranus versus Mercury Orbit Anomaliesdebate

    The guest highlights how similar anomalous orbital data led to the successful prediction of Neptune based on Newtonian gravity, yet failed identically with Mercury because the true solution required general relativity instead of an unseen planet.

  • 52:21

    The Vast Depth of Computer Scienceinsight

    The guest compares theoretical computer science to physics, noting that fundamental principles laid down in the 1930s continue to generate deep theorems, new fields, and sophisticated architectures like public key cryptography decades later.

  • 1:28:28

    Historical Contingency in Quantum Computingstory

    The guest describes how the birth of quantum computing in the 1980s required the historical convergence of advanced ion-trap experimental techniques and the rising cultural and personal prominence of personal computers.

Quotes

  • “So what Michelson and Morley thought they were doing was they thought they were testing different theories of what was called the ether.”
    Unnamed speaker · 1:53
  • “AlphaFold is very interesting, and I philosophically wonder what you think of it as a scientific theory or scientific explanation.”
    Dwarkesh Patel · 30:56
  • “I think answer two is to say something like, Maybe you shouldn't think about alpha fold you know as an explanation in the classic sense.”
    Unnamed speaker · 32:42
  • “The idea was that the Earth is passing through maybe this ether wind and if it is passing through the ether wind, sort of this background, and you shoot a light beam sort of parallel to the direction the ether wind is going in, it'll get accelerated a little bit.”
    Unnamed speaker · 2:50
  • “If you can get people actually sort of thinking about it and engaged with that kind of argument, that’s a very fundamental, kind of an issue to be considering in the whole political economy of science.”
    Unnamed speaker · 1:36:47
  • “And I'm like, wow, you could spend a lifetime just learning sort of how to do this and how to solve some of these inverse problems.”
    Unnamed speaker · 1:42:46
  • “I think a lot of people are very good at doing one or the other, but it's hard to, you know, it's almost like a personality trait, sort of, you know, which one you prefer.”
    Unnamed speaker · 1:45:22
  • “I think that's yielded a certain amount of returns. But also being willing to bet a little bit more on myself on sort of the variance side has also been very, very, very helpful.”
    Unnamed speaker · 1:46:27
  • “I think very often they just don't want public judgment.”
    Unnamed speaker · 1:48:33
  • Labelbox 22:26–23:22
  • Mercury 49:48–50:46
  • Jane Street 1:14:23–1:15:25

About this episode

Really enjoyed chatting with Michael Nielsen about how we recognize scientific progress. It's especially relevant for closing the RL verification loop for scientific discovery. But it's also a surprisingly mysterious and elusive question when you look at the history of human science. We approach this question stories like Einstein (who claimed that he hadn't even heard of the famous Michelson-Morley experiment, which is supposed to have motivated special relativity, until after he had come up with the theory), Darwin (why did it take till 1859 to lay out an idea whose essence every farmer since antiquity must have observed?), Prout (how do you recognize that isotopes exist if you cannot chemically separate them?), and many others. The verification loop on scientific ideas is often extremely long and weirdly hostile. Ancient Athenians dismissed Aristarchus's heliocentrism in the 3rd century BC because it would imply that the stars should shift in the sky as the Earth orbits the sun. The first successful measurement of stellar parallax was in 1838. That's a 2,000-year verification loop. But clearly human science is able to make progress faster than raw experimental falsification/verification would imply, and in cases where experiments are very ambiguous. How? Michael has some very deep and provocative hypotheses about the nature of progress. One I found especially thought-provoking is that aliens will likely have a VERY different science + tech stack than us. Which contradicts the common sense picture of a linear tech tree that I was assuming. And has some interesting implications about how future civilizations might trade and cooperate with each other. Watch on Youtube https://youtu.be/myP8UjAM1pk; read the transcript https://www.dwarkesh.com/p/michael-nielsen. Sponsors * Labelbox https://labelbox.com/dwarkesh researchers built a new safety benchmark. Why? Well, current safety benchmarks claim that attacks on top models are successful only a few percent of the time, but the prompts in those benchmarks don’t reflect how real bad actors actually write. You can read Labelbox’s research here https://labelbox.com/blog/the-ai-safety-illusion-why-current-safety-datasets-fool-us-on-model-safety/. If this could be useful for your work, reach out at labelbox.com/dwarkesh https://labelbox.com/dwarkesh * Mercury https://mercury.com has an MCP that lets you give an LLM access to your full transaction history, including things like attached receipts and internal notes. I just used it to categorize my 2025 transactions, and it worked shockingly well. Modern functionality like this is exactly why I use Mercury. Learn more at mercury.com https://mercury.com * Jane Street’s https://janestreet.com/dwarkesh ML engineers presented some of their GPU optimization workflows at GTC, showing how they use CUDA graphs, streams, and custom kernels to shave real time off their training runs. You can watch the full talk here https://www.nvidia.com/en-us/on-demand/session/gtc26-s82065/. And they open-sourced all the relevant code here https://github.com/janestreet/gtc2026/. If this kind of stuff excites you, Jane Street is hiring — learn more at janestreet.com/dwarkesh https://janestreet.com/dwarkesh Timestamps (00:00:00) – How scientific progress outpaces its verification loops (00:17:51) – Newton was the last of the magicians (00:23:26) – Why wasn’t natural selection obvious much earlier? (00:29:52) – Could gradient descent have discovered general relativity? (00:50:54) – Why aliens will have a different tech stack than us (01:15:26) – Are there infinitely many deep scientific principles left to discover? (01:26:25) – What drew Michael to quantum computing so early? (01:35:29) – Does science need a new way to assign credit? (01:43:57) – Prolificness versus depth (01:49:17) – What it takes to actually internalize what you learn This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit www.dwarkesh.com https://www.dwarkesh.com?utm_medium=podcast&utm_campaign=CTA_1

Transcript

0:00
2:03:03

21,800 words · 3 speakers

Speaker names marked are inferred from speaking time and the show’s known hosts — they are not voice-verified.

Topics

  • AlphaFold
  • Quantum Computing
  • Open Science Movement
  • Linux
  • Principio Mathematico
  • The Origin of Species
  • San Francisco
  • Protein Data Bank
  • RL Verification Loop
  • Muon Experiments

Page updated · transcript and summary are machine-generated