Claude Refuted ETH Too: Anthropic's 3-SAT Paper Explained

AI · Studies · 2026-10-28 16:54

Anthropic published a 49-page paper, drafted by Claude and refined by researchers, presenting a 2^o(n) time algorithm for 3-SAT and formalizing two major theorems in Lean 4.

Source: cellcog.ai

Auto-generated summary for reference only. RSS