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

Someone at MIRI must know how to solve this. Good luck getting them to tell you how!


For context: Logical Induction https://arxiv.org/abs/1609.03543

Sadly the line of research seems to have been abandoned. Kind of understandable with the ascent of LLMs: there is no time left for a multi-decade research program.




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

Search: