SRI发布关于可审计证明探索的新预印本
SRI发布了以RH为案例、关于可审计证明探索的新预印本。 设计研究过程 本文不声称证明RH,而是研究人类与AI如何保存尝试、失败、瓶颈和下一步验证任务。 与STUDIO的联系 STUDIO在尊重研究意义与边界的前提下,将概念转化为故事、影像、音乐、艺术与体验。 DOI: 10.5281/zenodo.23101473
SRI发布了以RH为案例、关于可审计证明探索的新预印本。 设计研究过程 本文不声称证明RH,而是研究人类与AI如何保存尝试、失败、瓶颈和下一步验证任务。 与STUDIO的联系 STUDIO在尊重研究意义与边界的前提下,将概念转化为故事、影像、音乐、艺术与体验。 DOI: 10.5281/zenodo.23101473