OpenAI 单带图灵机模拟可推出新结论：RAM 时间 t 落入 SPACE[t^4/5]

Ryan Williams 指出，OpenAI 的单带图灵机（tape TM）模拟结果若正确，可直接推出一个未被提及的推论：RAM 模型下时间为 t 的算法，其空间复杂度落在 SPACE[t^{4/5}]。他表示这正是他此前提问的初衷，不理解 OpenAI 为什么没有提到这个推论。