AIが数学・計算機科学の常識をひっくり返したかもしれない――そんなニュースがエッヂ掲示板で話題になっている。報告されたのは「指数時間仮説（ETH）」の反証。計算の難しさに関する約25年来の前提が崩れるかもしれないという内容に、世界中の理論計算機科学者が検証に追われているというのだ(´・ω・｀)
スレでは「検算ってやーつ」「あの壁ってなんだよ殺すぞ」など、文系にもわかるノリで解説が進み、思わず引き込まれる展開になった。
📌 出典：エッヂ掲示板「【悲報】AIさん、数学の前提をひっくり返したせいで世界中の理論計算機科学者が徹夜で検証するハメにｗｗｗｗ」
🎯 PART 1：「指数時間仮説」を反証したという報告
その論文はどこにあるんや
一番の衝撃は、「ここ25年間の計算機科学の教科書や前提がひっくり返るかもしれない」という点です。
これまで「この問題はETH（あの壁）があるから速く解くのは諦めよう」と考えられていたたくさんの難問に対して、「あれ？もしかしたらもっと速く解く方法があるんじゃないか？」と、世界中の研究がやり直しになる可能性があります。
また、最も有名な未解決問題「P対NP問題」の解決に一歩近づくかもしれないというワクワク感も、専門家を興奮させています。
※この投稿はスレ民による解説で、インパリアッツォ教授ら仮説の提唱者やMITの研究者が、AIの示した証明が本当に正しいかを現在査読中だという状況が紹介されている。
💻 PART 2：「検算ってやーつ」文系にもわかる例え話
検算ってやーつ
数学の最先端でも人間の頭がボトルネックになってるんやな
LEANで提出されとるから検証は一瞬なんちゃうの
あの壁ってなんだよ殺すぞ
※「LEAN」は数学の証明をコンピュータに検証させるための証明支援システム。AIが導いた証明をLEAN形式で提出すれば機械的に検証できるはずだが、その「定式化が本当に指数時間仮説を意味しているか」自体の確認が難しいという指摘が続く。
🔍 PART 3：「結局、検証は難しいんか？」疑問は尽きない
指数時間がどうたらって見るとP≠NP問題思い出すよな
>>7
Leanでの定式化が正しいかどうかというのが確実じゃないからやで
もう正しいか検証したやつにお金あげるでええやん
EXCELの結果を検算するおじさんと同じか
※報告によれば、同時期にOpenAIは数学の「波の予想」や物理学の素粒子理論でもノーベル賞級の難問をAIが解いたと発表しているという。真偽の確定には数ヶ月かかる見通しで、AIによる基礎科学の“地図書き換え”が本物かどうかは、今後の査読結果が鍵を握る。
📝 まとめ：結論が出るのは数ヶ月後
AIが示した証明が本当に正しいのか、それとも見落としがあるのか。結論が出るまでには数ヶ月かかる見込みだという。もし本当に指数時間仮説が崩れるなら、P対NP問題をはじめとする計算機科学の根幹に関わる大発見になる可能性がある一方、「結局は人間が検証するしかない」という、どこかのんびりしたオチにスレ民も苦笑いだった。続報が出れば要注目のテーマだ。
※本記事はエッヂ掲示板のコメントを引用・整理したものです。
コメント