
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.
The host sets the stage, outlining the episode’s focus on recognizing scientific progress, especially in AI.
Analysis of the various obstacles—verification loops, theory diversity, and human biases—that impede scientific progress.
Exploration of how the ether experiments challenged simple falsificationist views and the complexity of theory choice.
Examination of AlphaFold, protein folding, and the broader question of AI’s capacity to speed up scientific discovery.
Speculation on how AI might reshape scientific heuristics, distillation, and the search for explanatory models.
Comparative look at how different scientific revolutions unfolded, highlighting the role of heuristics and available evidence.
The host demonstrates how an LLM can automatically flag personal expenses in business accounts using Mercury’s detailed transaction data.
Discussion of how extraterrestrial civilizations might develop different technological stacks, challenging assumptions about universal science progress.
Exploration of the vast, largely uncharted tech tree, comparing early physics to modern computer science and the potential for future discoveries.
The host explains the complexity of inverse problems in particle physics and the need for interdisciplinary expertise.
Exploration of how prolific output relates to depth of understanding, citing Darwin and Einstein as examples.
Differentiating between routine tasks that avoid procrastination and high-variance work that requires deep engagement.
The host shares personal habits of choosing longer walks to remind himself that inefficiency can have benefits.
Discussion of the equal odds rule suggesting that every creative output has an equal chance of being important, emphasizing quantity of work.
Examining how some brilliant people avoid public judgment and the impact on their productivity.
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.
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.
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.
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.
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.
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.
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.
“So what Michelson and Morley thought they were doing was they thought they were testing different theories of what was called the ether.”
“AlphaFold is very interesting, and I philosophically wonder what you think of it as a scientific theory or scientific explanation.”
“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.”
“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.”
“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.”
“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.”
“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.”
“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.”
“I think very often they just don't want public judgment.”
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
21,800 words · 3 speakers
Speaker names marked are inferred from speaking time and the show’s known hosts — they are not voice-verified.
Page updated · transcript and summary are machine-generated