AI研究所は、長年研究者にとっての課題であった3つの主要な数学的問題に対する解決策を発表した。これには、計算の難易度を理解する上で中心的な役割を果たすコンピュータ科学の確立された仮説である「指数時間仮説(ETH)」に対する驚くべき否定が含まれている。先進的な研究所による過去の発表と同様に、科学界は興奮と懸念が入り混じった反応を示しており、Anthropic社の数学者レヴェント・アルボガイ氏は、OpenAIの解決策は先行研究に基づいていると指摘し、その後Anthropic社自身も同仮説に対する独自の反証を発表した。
指数時間仮説は、数十年にわたってコンピュータ科学者の関心を集めてきた「P対NP問題」として知られるより広範な問題群に関連している。研究者はこれを通じて、簡単に解を確認できる問題(NP)が、同様に簡単に解くこともできる(P)かどうかを明らかにしようとしている。この仮説は、特定の論理パズルにおいて変数の増加に伴い、コンピュータのアルゴリズムには指数関数的に増加する時間が必要であると想定している。しかし、AI研究所の新しいモデルは、それらのパズルを「指数時間未満」で解くアルゴリズムに到達したと主張しており、これは以前考えられていたよりもはるかに高速であることを意味する。もしこれらの主張が正しければ、この仮説は論破されたことになる。
この進展が実務的に意味するものとは?
マサチューセッツ工科大学(MIT)のコンピュータ科学者であるライアン・ウィリアムズ教授は、この発見に対する学術界の対応を組織している。AI研究所による研究発表の手法を以前批判していたにもかかわらず、ウィリアムズ氏は、この分野にとって重要なアイデアを導き、研究者が解決策を解釈するのを助けるために彼らと協力することに同意した。ウィリアムズ氏は、新しい証明の一部は馴染みがあるように見える一方で、他の部分は科学界全体が協力して理解し検証する必要がある全く未知の要素を含んでいると指摘している。
影響と未解決の問い
これらの進展は、過去10年間にわたり指数時間仮説の堅牢性に依存してきた多くの科学論文の見直しを迫るものである。研究者らは、加速するAIの能力に照らして、この分野の理論的基盤を再評価するために、専門的な会議や学術的な集まりを開催するよう呼びかけている。サイバーセキュリティの観点からは、これらの最適化されたアルゴリズムが現行の暗号システムに影響を与えるかどうかが疑問視されているが、OpenAIは、初期の検証では現行の暗号システムに即時の脆弱性が存在することは示唆されていないと強調している。