Insights

Insights
AIが計算機科学の30年来の仮説を反証

By Keshavan Thiagaraja 計算機科学にとって、こんな月はめったにない。その基盤となる信念の一つが打ち倒され、瓦礫を検証しているのは、それを築いた研究者本人たちを含んでいる。 10月16日、OpenAIの研究モデルが、日常の文章で指数時間仮説(Exponential Time Hypothesis)への反論を生成した。1日以内にその論証はLeanに転写された。Leanはすべての論理ステップを機械的に検証する証明チェッカーだ。67ページの手稿には、著者としてOpenAI自身が記されている。 何の連携もなく動いていたAnthropicは、数時間前に同じ結論にたどり着いていた。49ページの論文「A 2^o(n) Time Algorithm for 3-SAT」はClaudeに帰属し、中核となるアルゴリズムは同日、Claudeの研究モデルが発見した。 この仮説はおよそ1999年にさかのぼり、Russell ImpagliazzoとRamamohan

Read More