続報科学・数学10月27日 00:00 UTC Anthropic、3-SATの準指数時間アルゴリズムを主張する論文をLean 4形式化とともに公開 正しければ指数時間仮説を反証することになる。証明の公理はリポジトリに記載されているが、独立した専門家の検証は公表されていない。 Anthropic (GitHub) で読む →共有 出典Anthropic (GitHub)Paper (PDF) 編集長: Haydn Snape