formal-barrier

本文提出了一个正式的不可能性结果，表明表格基础模型无法区分合法与违反规则的数据库状态，除非能够访问操作规则。该结果通过操作图灵测试（OTT）和实证实验得到了验证。