Anthropicが公開した論文は、社内のClaudeモデルもExponential Time Hypothesisを反証したと主張

hexagonmath.orgに掲載されたプレプリントは、2026年10月27日にAnthropicが登録したものとされ、n変数の3-SATを2^o(n)時間で解く決定的アルゴリズムを主張している。これはExponential Time Hypothesis（ETH）を反証することになる。さらに、このアルゴリズムは、充足する割り当ての数を数える、より難しい問題である#3-SATも解き、結果はLean 4で形式化されているという。

論文の来歴に関する記述によると、社内のClaude研究モデルが10月16日に、1,400万出力トークンを使い、人間の入力なしで中核となるアルゴリズムを発見し、その後Anthropicの研究者がClaudeとともに論文の説明を改善したという。論文はさらに、OpenAIの社内モデルも同様の結果を独立に、かつ同時期に証明したと主張していると述べ、10月26日付のOpenAI自身のプレプリントを引用している。これらはすべて著者側の主張であり、独立した検証は行われていない。

この論文はHacker Newsで共有され（10月27日時点で22ポイント、コメント6件）、あるコメント投稿者は、主張されている発見日がOpenAIのものと同じだと指摘した。