📰 Anthropic 公开内部 Claude 研究模型发现的 3-SAT 亚指数算法：论文与 Lean 4 证明称推翻指数时间假设（ETH）

Anthropic 在官方 GitHub 仓库 anthropics/formal-math 发布论文《A 2^o(n) Time Algorithm for 3-SAT》（署名 Claude, Anthropic）及 AI 编写的 Lean 4 形式化证明，称确定性算法可在 2^o(n) 时间内求解…

💬 你怎么看？欢迎在评论区讨论。