Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I'm not sure how that follows, so... no.


> 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?




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: