History
Galois Theory Took 100 Years to Verify Due to Lack of Immediate Utility
Dwarkesh Patel Podcast
Grant Sanderson – AI and the future of math
"Describing why it was a valuable insight does not come from immediate utility... between the time of Lagrange like having this inkling of maybe symmetries of roots is the right way to go to where it all looks like modern group theory, like you've got this long span... it wasn't even passing the verified reward of human reviewers, right?"
Sanderson explained how Galois's revolutionary group theory insights from the 1830s took nearly a century to be recognized as valuable, with his papers initially rejected and misunderstood even by expert reviewers. This creates a fundamental challenge for training AI mathematicians, as the verification loop for truly novel mathematical concepts can span generations, making current RL reward systems inadequate for breakthrough discovery.
From this episode
Dwarkesh Patel Podcast