AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Is There a Heuristic for Automated Theorem Proving?
Is it possible for this to instruct the engineering of automated proof systems? Absolutely. Jonathan Gorad has a nice heuristic for automated theorem provers based on our physics project that is looking for essentially using, kind of using energy in our models. And so there's sort of a heuristic about how do you pick which path to go down that is based on Physics.