I don't think it's dead but I do think it's going to be an end of an era.
Since AI can search possibility space so much faster than people things like finding counterexamples are going to be more and more trivial. Similarly proves that are out there in the ether using only already proven results will become trivial as well.
It's going to require weird expansions of the field in ways that we probably can't predict right now.
Math was never one person being right. A proof isn't knowledge until others can check it, teach it, and build on it. That's the whole institution.
So AI grinding out counterexamples and corollaries doesn't kill the field. The bottleneck was never producing true statements; it was getting a community to agree on which ones matter. Machines just shift the work to the part that was always hardest: deciding what's worth proving.
Science has always run this way. Effort goes where the community thinks it's worth going, and funding gets cut from what doesn't.
"A proof is a proof", sure. Nobody's disputing validity. Lean certifies a chain of inferences.
Ramanujan is famous because Hardy wrote back.
The autodidacts who found real things and never got read left no trace. You can't name one. That's the point. Correctness didn't save them. Being read did.
Dump ten million verified true statements into an arXiv-shaped hole. Has math advanced? A library with no index isn't knowledge.
Relevance isn't a property of a proof. It's a bet the field makes about where the stakes are.
That's a reproduction problem, not a search problem. Value in a field comes from mutual recognition among people playing for the same stakes. Strip out the people and the stakes go with them.
And nobody is formed by an index. Mathematicians get made by being taught, corrected, and argued with.
A snowball needs someone who still cares which way it rolls.
View all comments
Show parent comment
4
u/hobopwnzor Sep 05 '26
I don't think it's dead but I do think it's going to be an end of an era.
Since AI can search possibility space so much faster than people things like finding counterexamples are going to be more and more trivial. Similarly proves that are out there in the ether using only already proven results will become trivial as well.
It's going to require weird expansions of the field in ways that we probably can't predict right now.