作者借 Claude 长对话打磨 3SAT 新算法思路，遭对话长度上限截断
brandondamos · x · 2026-10-29
转推 BooleanAnalysis 的推文：作者称在 AI 对话中推进了 #3SAT 问题的算法构想（sparse permanent，运行时间约 2^(n/√(log n))），过程中触发了聊天最大长度限制被迫暂停，并放出了截图。草稿共约 20 页：5 页概览、10 页正文、5 页附录。作者自评写得仍不成熟，但对这组思路的推进感到满意。
「Fun」频道最新
- CAPTCHA 图里真有微波炉，选了照样判失败 — daluoseo · 2026-10-29
- KOL 用 ChatGPT 生成个人 AI 助手分级图：Grok 登顶 ChatGPT 垫底 — koltregaskes · 2026-10-29
- React hooks 被骂是错误，下载量曲线却飙到 24 亿 — cnakazawa · 2026-10-29
- 知名博主吐槽：X 上名人的推文其实都是 AI agent 在发 — bindureddy · 2026-10-29
- Google 新模型命名 Carbon/Argon 引化学梗调侃 — michael_galkin · 2026-10-29
- Will Smith 吃意面 AI 视频再翻红，仍是生成视频试金石 — Busy_Connection_8027 · 2026-10-29