A.I.AI
AnthropicによるETH(指数時間仮説)の反証
Anthropic's Disproof of the ETH
YHacker News
AIが原文を翻訳・要約しています
Anthropicは、n変数の3-SATおよび#3-SATを2^o(n)時間で解く決定性アルゴリズムを提示し、指数時間仮説(ETH)を反証したとする論文を発表した。このアルゴリズムは、人間の介入なしに1400万出力トークンを生成したClaudeの内部研究モデルによって発見され、定理証明支援系Lean 4で形式化された。また、OpenAIの内部モデルも独自に同様の結果を証明したと主張している。
KEY POINTS要点記事から抽出した重要情報
- Anthropicは、Claudeの内部研究モデルが自律的に指数時間仮説(ETH)を反証するアルゴリズムを発見し、Lean 4で形式化した論文を発表した。
- OpenAIの内部モデルも独自に同様の結果を証明したと主張されている。
CONTEXT文脈編集部による背景整理
AIが人間の介入なしに高度な理論計算機科学の未解決問題を解き、定理証明支援系で形式検証まで完了させた事例であり、AIによる自律的科学発見(AI for Science)と高度な推論能力の実用化における重大なマイルストーンとなる。
原文を読むAnalyzed at 2026年10月28日 01:02