作者借Claude推进3SAT算法构想
热点事件持续更新
作者借Claude推进3SAT算法构想
1 篇报道1 个报道来源1 小时前更新
先了解这件事
AI 综述
brandondamos称，借助Claude长对话，他推进并整理了3SAT问题的sparse permanent算法思路，提出运行时间约为2^(n/√(log n))；这只是作者提出的构想，相关效果尚未得到证明。对话因触发聊天长度上限而暂停，他随后放出了约20页草稿，包括5页概览、10页正文和5页附录。 作者自评该思路仍不成熟，但认为这次长对话对推进算法构想有帮助。
AI 根据报道生成 · 1 小时前更新
最新进展10月29日 10:26
Claude 长对话打磨 3SAT 新算法思路，遭对话长度上限截断报道时间线
沿着报道，了解事件的不同侧面。
10月29日
- AGI HuntClaude 长对话打磨 3SAT 新算法思路，遭对话长度上限截断
作者借 Claude 长对话推进 #3SAT 问题的算法构想，提出 sparse permanent 思路，运行时间约为 2^(n/√(log n))，过程中触发聊天最大长度限制而被迫暂停。草稿约 20 页，包括 5 页概览、10 页正文和 5 页附录；作者自评仍不成熟，但对这组思路的推进感到满意。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。