3 ms·
"Tiling agents" would be the most arguably relevant. Provably correct agents that approve the construction of other probably correct agents obeying similar inv
by 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.