有人形式化agent基础论文,发现逻辑归纳的错误并可修正。

RT @jessi_cata: 哦,有意思,有人将多篇agent基础论文形式化了,包括我参与撰写的“逻辑归纳”。该形式化发现了一个错误(有限扰动下的封闭性),不过修改后的表述仍然有效。\n\nhttps://t.co/KHS1x1QVeH