3 ms·
Very interesting! Looking at the papers and going to read them. Any specific papers you'd recommend?
by grandalf 10y ago
Very interesting! Looking at the papers and going to read them. Any specific papers you'd recommend?
- JulianMorrison 10y agoSorry, not qualified to have an opinion. Opening this question to the floor?
- Eliezer 10y ago"Tiling agents" would be the most arguably relevant. Provably correct agents that approve the construction of other probably correct agents obeying similar invariants.
- grandalf 10y agoThanks! Looks very interesting!
- semi-extrinsic 10y agoIs "probably" there meant to be "provably"? I assume so, but I'm not sure.
- christo 10y agoProbably.