解析 OpenAI 提出的次指数级 #SAT 算法设想

OpenAI 研究团队提出了针对 #SAT 问题的次指数级时间算法设想。作为计算复杂性理论中经典的 #P 完全问题，布尔满足解计数长期受制于指数墙。该视频梳理了其核心证明脉络与推导细节，但在理论界同行完成严密验证前，这类颠覆经典认知的结果仍停留在审慎讨论阶段。