3 ms·So we need LLMs to solve the halting problem?by namaria 1y agoSo we need LLMs to solve the halting problem?viraptor 1y agoI'm not sure how that follows, so... no.namaria 1y ago> We want it to try and maybe realise when all paths it can generate have been exhausted. How would it know if any reasoning fails to terminate at all?