AIが「P対NP問題」を解いてしまう? 海外掲示板で賛否

姉妹サイトの新着

他サイトの新着

海外掲示板4chanのテクノロジー板に「AIがこれに気づいたら、もう終わりだ」という投稿が立った。文脈から分かる「これ」とは、計算機科学の未解決問題「P対NP問題」のこと──ある問題の答えを検証するのが簡単なら、その答えを見つけるのも簡単だと言えるか、という問いだ。投稿者は今のAIの勢いなら来月にも解かれると煽ったが、他の住人からは「使い道が無い」「多くの研究者はP≠NPだと考えている」といった冷静な反論が相次ぎ、仮に証明されたとしてどれほど意味を持つのかをめぐって議論になった。

1 海外の名無しさん 2026-09-10 18:35
AIがこれに気づいたら、もう終わりだな
2 海外の名無しさん 2026-09-10 18:37
>>1
来月にはもう終わってるって意味?
17 海外の名無しさん 2026-09-10 19:09
>>2
来月だろうな。解決に近づいてる誰かが、答えを自分の言いなりAIにアップロードした瞬間に
3 海外の名無しさん 2026-09-10 18:43
>>1
ああ、いわゆる『AI』がまた別の教授の研究を盗むかもな。

>>2
あと2週間ってところじゃないか。夢でお告げがあった
4 海外の名無しさん 2026-09-10 18:44
>>1
N=1で考えれば……うわ、めちゃくちゃ難しいな(笑)
5 海外の名無しさん 2026-09-10 18:44
Astraに頼んで、非決定性チューリングマシンを多項式時間で決定性チューリングマシンに変換する方法を見つけてもらえばいい
6 海外の名無しさん 2026-09-10 18:54
>>1
結果が大多数の計算機科学者の予想通りだったら、大して役に立たないけどな
8 海外の名無しさん 2026-09-10 18:55
>>1
でもP≠NPなんじゃないの?ちなみにそれも夢でお告げがあった
9 海外の名無しさん 2026-09-10 18:56
>>1
ぶっちゃけ使い道が無い
12 海外の名無しさん 2026-09-10 19:00
>>9
P=NPを証明できたら、文字通り何もかもが変わるぞ
15 海外の名無しさん 2026-09-10 19:03
>>12
逆に否定されたら使い道は無いってことだよな
30 海外の名無しさん 2026-09-10 19:54
>>12
もし還元関数の計算量がO(n^12405392403291230)とかだったらどうする
10 海外の名無しさん 2026-09-10 18:57
>>4
違う!
P = 0だ
11 海外の名無しさん 2026-09-10 18:59
P = NP + AI
14 海外の名無しさん 2026-09-10 19:01
PとNPは『N』が付いてるんだから、そもそも同じになるわけがない
16 海外の名無しさん 2026-09-10 19:06
>>14
グロックさん、これ本当?

他サイトの新着

20 海外の名無しさん 2026-09-10 19:17
>>1
ピザ=新しいピザ
21 海外の名無しさん 2026-09-10 19:18
>>1
N=1で考えろよ。当たり前だろ
22 海外の名無しさん 2026-09-10 19:24
>>12
そうとも限らないけどな
23 海外の名無しさん 2026-09-10 19:29
美術学校にでも行っておけばよかった、そのほうが楽しめただろうな。

エンジニアなんて来年には失業してるよ
24 海外の名無しさん 2026-09-10 19:30
たとえアルゴリズムが多項式時間だったとしても、実用的とは限らない。たとえばO(n^999999)で解けると証明できても、それはすごいけど実際には何の役にも立たない
25 海外の名無しさん 2026-09-10 19:34
>>1
『AIがこれを解決する』ね……お前、実はあんまり技術に詳しくないだろ
26 海外の名無しさん 2026-09-10 19:40
読んだ限りだと、そもそもどう手を付けていいかすら誰にも分かっていない。もしAIが(誰かのアイデアを盗まずに)これを解いたら、それは間違いなく超人的知能の証明になる。ただ、詳しい人たちの間ではP≠NPというのがコンセンサスらしい
27 海外の名無しさん 2026-09-10 19:48
P≠NPだよ。数独が正しいか確認するのは簡単だけど、解くのは難しいだろ。それだけの話

この話題の背景と論点

P対NP問題は、クレイ数学研究所が100万ドルの懸賞金を懸けた「ミレニアム懸賞問題」の一つで、1970年代から未解決のまま計算機科学の中心的な難問であり続けている。スレの投稿者は「AIが来月にも解決する」と煽ったが、この問題は計算量理論における厳密な数学的証明を必要とし、AIが答えを「思いつく」だけで決着するものではない。スレ内で意見が分かれたのは、証明された場合の実用性だ。P=NPと分かれば最適化や暗号解読が劇的に変わるという見方がある一方、たとえ多項式時間で解けても指数が現実離れして大きければ実用上は何も変わらないという反論も出た。なお、専門家の間では現時点でもP≠NPが有力視されているという点は、スレの中でも触れられている。

※本記事は海外掲示板 4chan /g/ (Technology) のスレッド「It’s going to be so over when the AI figure this out」から抜粋し、編集部で日本語に意訳したものです。訳文の責任は当サイトにあります。

この記事のリアクション

他サイトの新着

まだコメントはありません。

コメントする

誹謗中傷・個人を特定する書き込みは削除対象です。投稿は承認後に表示されます。

相互リンクサイト新着記事