Deedy 补充 OpenAI 与 Claude 的 3-SAT 算法文档链接

Deedy 补充了 OpenAI 与 Claude 两份 3-SAT 算法文档链接，涉及 OpenAI 版对 k-SAT 的精确计数，以及 Claude 版给出的 3-SAT 2^(o(n)) 时间算法。该说法称相关模型各自独立给出次指数算法、ETH 或被推翻，但目前仍无官方确认。