From Proof of Work to Proof of Theorems

From Santa Fe Institute

Simon DeDeo, Carnegie Mellon University, SFI The Bayesian Revolution of the last two decades has transformed cognitive science, enabling us to tie together a vast array of disparate phenomena under the rubric of evidence gathering in the face of uncertainty, in an elegant mathematical framework that just happens to connect to the technological advances in AI. It contains, however, a crucial gap: while it tells us how new experiences ought to change our beliefs, it gives us no systematic way t...