Kepler Didn't Have a Verification Loop. That's Dwarkesh's Point About AI and Scientific Discovery.

Dwarkesh Patel opened a thread this week with Kepler — specifically, with the "absolutely ingenious and surprising" method by which Kepler deduced the laws of planetary motion — and then turned it into a provocation about AI and scientific discovery. The argument, which drew over 3,300 likes and nearly 500 retweets on X, goes roughly like this: people claim AI will accelerate science because verification loops are tight, because you can run an experiment and check the result fast. But Kepler's breakthrough wasn't fast. It wasn't iterative in any modern sense. It was a strange, patient, almost mystical act of pattern recognition across data Kepler didn't fully trust, using mathematical intuitions that had no obvious precedent. The implication Patel left hanging — pointedly unfinished, which is its own rhetorical move — is that the thing AI optimists are describing when they talk about scientific discovery isn't scientific discovery. It's something narrower.

On the same day, a post aimed at AI PhD students was moving through the same conversation from a completely different angle. The author, writing as someone inside the field rather than observing it, told new researchers not to be discouraged by "autoresearch" hype — the claim that AI will soon automate the scientific process end to end. The argument was blunt: AutoML made identical promises in 2017, and the field absorbed those promises, produced some useful tooling, and then quietly moved on without delivering the revolution. Master the fundamentals, the post said. Ignore the noise. It got 1,300 likes, which in a community where most AI-skeptic posts land in the dozens is a meaningful signal about how many researchers in that community are quietly exhausted by the hype cycle they're living inside.

What's striking about these two posts appearing together isn't the agreement — it's the different audiences they're addressing. Patel is writing for the people who confidently predict AI timelines at conferences and on substacks. The PhD student post is written for people who just enrolled in a program partly because of those predictions and are now watching their advisors scramble to incorporate tools that weren't in any syllabus two years ago. One is a philosophical provocation. The other is career advice that doubles as a correction. Both are saying the same thing: the model of scientific progress that AI boosters invoke — fast, iterative, verification-loop-driven — may describe something real, but it doesn't describe how most science actually gets done, and it definitely doesn't describe how most discoveries actually happen.

News outlets covering AI in science remain heavily positive, framing each benchmark and research application as progress toward an inevitable acceleration. Bluesky, where researchers tend to congregate, reads closer to the r/LocalLLaMA mood: watchful, interested in specific capabilities, deeply unimpressed by generalized claims. A researcher there noted this week that in niche or rapidly evolving fields, AI systems reliably surface the most popular consensus position — which is often the outdated one. That's not a bug in the marketing; it's a bug that the marketing never mentions. The Kepler problem Patel raised is actually two problems: whether AI can do the structured, verifiable work of normal science (probably, increasingly yes) and whether it can do the weird, non-linear, paradigm-breaking work that produces the things we name after people (almost certainly not yet, and possibly not for reasons that more compute solves). The conversation keeps collapsing those two questions into one, which is how you get both the hype and the backlash, running in parallel, never quite engaging each other directly.