热点事件持续更新
LessWrong长文论证FDT难以严格形式化
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
2026年10月26日，LessWrong刊出文章《A cat-belling problem for FDT》。作者在文中论证，功能决策理论（FDT）由于存在“计算逻辑反事实”的指定难题，难以甚至无法被严格形式化。报道称，这构成决策理论圈围绕FDT可行性的实质性技术辩论，并与FDT被广泛视为“正确决策理论”的主流叙事形成张力。目前尚无后续回应或反驳报道。
AI 根据报道生成 · 1 小时前更新
最新进展10月26日 12:35
LessWrong刊文指出FDT因计算逻辑反事实指定难题难以严格形式化。报道时间线
沿着报道，了解事件的不同侧面。
10月26日
- AGI HuntLessWrong 长文论证：计算逻辑反事实难题让 FDT 难以成立
LessWrong 刊出《A cat-belling problem for FDT》，作者论证功能决策理论（FDT）因「计算逻辑反事实」的指定难题，难以甚至无法被严格形式化。这构成决策理论圈关于 FDT 可行性的实质性技术辩论，与 FDT 被广泛视为「正确决策理论」的主流叙事形成张力。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。