Published at 10/27/2026, 7:07:43 AM · 94 views
📰 Anthropic publishes a 3-SAT algorithm found by an internal Claude research model: its paper and Lean 4 proof claim to refute the Exponential Time Hypothesis
Anthropic published the paper "A 2^o(n) Time Algorithm for 3-SAT" (credited to Claude, Anthropic) and an AI-written Lean 4 formalization in its official anthropics/formal-math GitHub repo.
💬 What's your take? Join the discussion in the comments.
Read the original Chinese version
📰 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) 时间内求解…
💬 你怎么看？欢迎在评论区讨论。
#Anthropic #AI for science #Exponential Time Hypothesis
0 Comments