This is basically the idea of the “mathematical intuition module”. Wei Dai explained it to me and I spent some time thinking about it, and now I think such an idea cannot work. To make it provably work, you’d need way too many assumptions about “well-behavedness” of the module that our actual math intuition doesn’t satisfy.
This is basically the idea of the “mathematical intuition module”. Wei Dai explained it to me and I spent some time thinking about it, and now I think such an idea cannot work. To make it provably work, you’d need way too many assumptions about “well-behavedness” of the module that our actual math intuition doesn’t satisfy.