Public evidence record
Published podcast speaker
Claim ledger
7 transcript-backed records
01 / prediction
“I think we would very rapidly abandon any cryptography based on the primes, because if there was one pattern that we didn’t know about, there are probably more, and these patterns can lead to exploits in crypto.”
02 / prediction
“I think within a decade, a lot of things that math students currently do—what we spend the bulk of our time doing and a lot of stuff we put in our papers today—can be done by AI.”
03 / prediction
“I think AI-type tools will actually revolutionize the experimental side of math, where you don’t care so much about individual problems and the process of solving them, but you want to gather large-scale data about what things work and what things don’t.”
04 / prediction
“We don’t even have the paradigms to really take full advantage of it. But we will, and then science will be unrecognizable after that, I think.”
05 / prediction
“I think in the future, there will be entire professions of mathematicians who might take a giant Lean-generated proof and do some ablation on it, trying to remove parts of it and find more elegant ways.”
06 / prediction
“I think AI has driven the cost of idea generation down to almost zero, in a very similar way to how the internet drove the cost of communication down to almost zero.”
07 / prediction
“There’s no reason why they should un-mix. But in principle, because of all the collisions between them, there could be some sort of weird conspiracy that maybe there’s a microscopic demon called Maxwell’s Demon that will… every time an oxygen and nitrogen atom collide, they’ll bounce off in such a way that the oxygen sort of drifts onto one side and then nitrogen goes to the other.”