How well humans can digest an AI proof of the Riemann hypothesis depends entirely on which of three forms the proof takes — a parsable lightning bolt between fields, an alien 'new mountain' of theory, or a raw thousand-page chain of reasoning — and the biggest risk is an alien mountain that turns out to be wrong like the abc conjecture.

Grant breaks out the three candidate shapes an AI Riemann-hypothesis proof could take. The field-bridging 'lightning bolt' form is very human-parsable; building a new mountain of theory could be an alien, hard-to-digest mathematics — and the abc-conjecture episode shows the catastrophic case where an AI-style alien theory looks right but isn't. ✦ AI generated

Grant Sanderson · Dwarkesh Podcast · 2026-06-30 · original ↗

If we break down the three possible ways of solving the Riemann hypothesis… The other big one from this year was a certain Erdős problem numbered 1196, about these things called primitive sets. It had that character of bringing an idea from a seemingly different field. You have this very small idea that has the form of expertise in one field and expertise in another, drawing a little lightning bolt between them. Those are going to be very human-parsable, because all you have to do is show the start and end point of what those connections are. If the character of it is mountain building, you have to put in a lot more time to understand that new mountain that was built, because it's a new thread, not just a lightning bolt between them. And if the nature of the progress was just raw hustle—a super long chain of reasoning with no new theories—then you would have that worry of this whole digestion process. The biggest fear would be that an AI does that, and then much like the abc conjecture, people work for years to go up the mountain, and they're like, 'Dang it. This just isn't right.' If it turns out to be wrong, but it really looked right. Even if it was right, there's just a lot of effort to hike up a new mountain.

verbatim transcript · starts at 26:12