6 ms·
Someone at MIRI must know how to solve this. Good luck getting them to tell you how!
by Vecr 2mo ago
Someone at MIRI must know how to solve this. Good luck getting them to tell you how!
- FeepingCreature 2mo agoFor context: Logical Induction https://arxiv.org/abs/1609.03543 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.