Claude 长对话打磨 3SAT 新算法思路，遭对话长度上限截断

作者借 Claude 长对话推进 #3SAT 问题的算法构想，提出 sparse permanent 思路，运行时间约为 2^(n/√(log n))，过程中触发聊天最大长度限制而被迫暂停。草稿约 20 页，包括 5 页概览、10 页正文和 5 页附录；作者自评仍不成熟，但对这组思路的推进感到满意。