Connect your Claude, Codex or OpenClaw for full transcripts on millions of podcasts. Two week free trial, cancel anytime.
Start free trial →Conversations with Tyler · Ideas & Essays · November 2026
Tyler Cowen asked whether the Riemann hypothesis can be proven. Tao says there has been recent progress, but the new ideas came from AI and mathematicians don't yet understand them. The episode was recorded in early October.
…own sake. They're useful for gaining insight and help us eventually understand more realistic real-world problems. But the Riemann hypothesis is one of the few mathematical questions, which is actually quite useful for its own sake. Knowing that it's true would actually imply a lot of other things.
And you think it will be proven, can be proven?
Well, we are making progress. In fact, just two days ago, there was a significant advance on the Riemann hypothesis. We are still quite a ways from the full resolution, but now there are new ideas. Unfortunately, the ideas were generated by AI and we don't yet understand them. This is part of the new era now. We are getting answers without understanding, which is a very strange era to be in. Historically, the only way to make a progress on a difficult mathematical problem was to understand it. And you could communicate these insights to others. And now we have these machines that can give us answers, but we have to really work much harder than normal to extract out the use. For insights from them. So it is a strange era. But yeah, we now have these new tools, and hopefully, we will have lots of mathematicians exploring both old methods and new methods, and we will find something. But it will probably require a new idea, which we haven't seen before. We know the limits of many of the existing techniques.
Gödel's incompleteness theorem. Does it frustrate you?
Ah, yeah, that was. Yeah, so mathematics is going through a crisis right now. And there was a similar crisis 100 years ago. So Hilbert, who was David Hilbert, who was one of the leading mathematicians in the early 20th century, had this great dream finding that every single open problem in…
Is it fair to say your overall approach to the foundations of math is quite pragmatic? So it's not Hilbert, it's not Brouwer. So there's really no result that could come along that would make you feel nihilistic. It's just there's different avenues to explore things. Or is your view different than…