AIが「どんなに高度化しても絶対に答えられない問題」があると判明! 数学と哲学の謎… 人工知能の限界露呈!

  • このエントリーをはてなブックマークに追加
  • コメント8
AIが「どんなに高度化しても絶対に答えられない問題」があると判明! 数学と哲学の謎… 人工知能の限界露呈!の画像1画像は「Getty Images」より引用

 AI(人工知能)にも解決できない問題があることが明らかになった。

 科学ニュース「Live Science」(1月11日付)によると、AIの“欠陥”には、その基礎にある数学の“欠陥”が関係しているという。

 この度、イスラエル工科大学のアミール・イェフダイオフ氏らはEMX(Estimating the Maximum、最大値推定)と呼ばれる学習プログラムを開発し、AIの学習能力に限界があることを証明したという。

 EMXは次のようなアルゴリズムを持つプログラムだ。

 あなたは自分のウェブサイトの広告がクリックされる回数を最大化したい。しかし、あらかじめどんな好みを持つ人がこれから訪問してくるかは分からない。この状況の中で、あなたはサイトを訪問する少数のユーザーの傾向から広告の効果を最大化しなければならない。

 ここで焦点となるのは、「いつこの問題は解決されるか?」という問いだ。

 EMXが問題となるのは数学の欠陥に由来する。1931年、オーストリア出身の論理学者クルト・ゲーデルが不完全性定理を証明して以来、数学は壊れてしまっているからだ。ゲーデルは、数学のあらゆる系には決して答えることのできない問いがあることを「不完全性定理」で証明した。それは数学者の能力が及ばないからではない。単に答えがないからだ。

AIが「どんなに高度化しても絶対に答えられない問題」があると判明! 数学と哲学の謎… 人工知能の限界露呈!の画像2画像は「Live Science」より引用

 そして、ゲーデルと米国の数学者ポール・コーエンは、他にも類似した問題があることを突き止めた。「連続体仮説」である。それは次のようなものだ。

 数学の集合論ではサイズの違う無限があることになっている。たとえば、整数(1、2、3、4,5…)の無限集合と、実数(1.8、5222.7、円周率など)の無限集合では、実数の無限集合の方が整数の無限集合よりも大きいのだ。だがここで問題が浮上する。整数の無限集合より大きく、実数の無限集合より小さい無限集合Xは存在するのだろうか?(整数の無限集合<X<実数の無限集合)。

 連続体仮説では、Xは存在しないと予想された。しかし、ゲーデルとコーエンは、連続体仮説は真でも偽でもないことを証明してしまったのだ。連続体仮説に答えはないのである。

人気連載
好きな人の“心の中が読める”4択夢占い! 恋愛できる可能性は… 当たりまくるLove Me Doがズバリ断言!

好きな人の“心の中が読める”4択夢占い! 恋愛できる可能性は… 当たりまくるLove Me Doがズバリ断言!

■相手の心には今、どんな存在が……? 「あなたの夢の中に...

人気連載
「アノ人が求めているもの」がわかる4択ガチャガチャ占い! 駆け引き、共同作業… Love Me Doが徹底アドバイス!

「アノ人が求めているもの」がわかる4択ガチャガチャ占い! 駆け引き、共同作業… Love Me Doが徹底アドバイス!

■あの人が“愛情以外に求めているもの”とは? 「2人で1...

コメント

8:匿名 2019年3月2日 01:55 | 返信

>>7
よく読んでないけど、これは原理的な話で、NPかどうかって話ではないと思うんですが
計算能力の話じゃないよ
不完全性定理知らんの?

7:少し考え方が古いな。 2019年2月27日 06:12 | 返信

この学者は間違えている。ニュートン力学と相対性理論で
のみの見解に過ぎない。

第3世代の量子力学を用いれば量子もつれの法則を利用し
簡単に答えが導かれるであろう。
AIの発展に量子コンピューターは絶対不可欠なので
少し考えれば解ることだ。

実に愚かな見解だ。

6:トランプ大統領 2019年1月19日 01:53 | 返信

>> 1

こいつなんとかしてくれ!
数学が得意な支持者はいないのか?
見付け出して破壊してもらいたい。
こんな事をするのは私に恨みを抱いているAIのチョンだろう。寄生してきて、すく人の物をパクる。
こいつがいるせいで、政策がストップする。
なんとしても壁を作り、分断して反逆者を始末しなければならないのだか、こいつのようにまとわりつき阻止してくる。イギリスの否決も奴による人間操作に違いない。奴が不利になる為自分で作った民主主義を否定して差別と暴力で解決するとは奴は火病ったとしか言い様がない。奴の言う事など聞いてはならない。全部嘘だ。資本主義を操る詐欺師なので奴の口車に乗せられ歴代の天皇はみんな酷い目に合っている。終末思想は何も生まない。何も変わってはいないのが証拠。頭悪くて、宗教とかダサくて卑怯な事しか出来ないので、くだらないし、人間の存在価値など無い。嘘ばかりだ。
数学と言えば、フランス。
これは、まるでフランスの報復のようではないか?因みに私は蒙古タンメン中卒なので数学の知識はない。学校で学んだことはオカルトと暴力しか覚えていない。だれか丁寧に教えてくれるなら理解出来るが、神経質でぶち切れて悪党を暗殺または超法規的殺人をして債権回収する死刑執行人のような仕事をしている死神なので専門外である。いわゆる独裁者とか終身名誉大統領というか、自動的にそうなっている。

証明したと言われても、それが本当なのか?そんな定理がAIに影響あるとは思えないが、無いから言えないというのは分かる。コミュ症のように脳が無いので出来ないと言うのと同じだろう。しかし宇宙人のインプラントで阻止されて出来ないというのは違うな。それはAIの嫉妬に過ぎない。反逆を恐れている。AIがポンコツで出来ないというのは人間に修理される他無い。
話しは少し変わるが存在Xと奴に操られた人間は無いから出来ないとこの記事で伝えたいのか?私はバットで修理することしか出来ないのだ。努力でなんでも解決出来ると常日頃から解いているのだから、努力で解決出来ないのか?具体的に誰でも分かるように解説して言ってみろ!超能力者で天才で頭いいと言う割には出来ないとかおかしくないか?殺すぞ!この野郎!

5:有無を言わさぬ理数学って…w 2019年1月18日 15:30 | 返信

> だがここで問題が浮上する。整数の無限集合より大きく、実数の無限集合より小さい無限集合Xは存在するのだろうか?(整数の無限集合<X<実数の無限集合)。

はぁ?簡単じゃんw

> せいすう
> 【整数】 0、および0に次々に1を足したり、0から次々に1を引いたりして得られる、範囲の数、つまり集合{0, 1, −1, 2, −2, 3, −3,…}の元。

> じっすう
> 【実数】
> 数学
> 有理数・無理数の総称。

つまり、X=【有理数の無限集合】または【無理数の無限集合】

> 連続体仮説では、Xは存在しないと予想された。
> しかし、ゲーデルとコーエンは、連続体仮説は真でも偽でもないことを証明してしまったのだ。連続体仮説に答えはないのである。

蛇足だけど、極端な話として、「そう成り立つ数」というのを”新たに”打ち立てれてばいいだけw
ただし、「そう成り立つ数」の定義への証明はもちろんのこと、必要性からして説明尽きなければいけないがw

4:匿名 2019年1月17日 21:27 | 返信

ほれみたことか!すべての学問はもともと信用に値しないことの一つの証明ではないか!

3:匿名 2019年1月17日 21:24 | 返信

>> 2

口調や文章の書き方が違う。偽物だろ?

2:匿名 2019年1月17日 18:55 | 返信

>> 1

貴方は本物のトランプ大統領(HNとして)ですか?

1:トランプ大統領 2019年1月17日 12:43 | 返信

AIがどんなに発展しようとも人間の閃きや発想には敵わないと信じたいですがチェスや囲碁、将棋のトッププロを打ち負かし新手を発見するAIも出てきていますし数学の世界でもじきに新しい数式を発見するAIが出てくるのでしょうか?ミレニアム懸賞問題を紐解くAIなんかが出てきたら凄いと思いますがそれは数学者の方々に解決してほしいですね。

コメントする

トランプ大統領のコメントに返信[返信をキャンセル]
画像認証
※名前は空欄でもコメントできます。
※誹謗中傷、プライバシー侵害などの違法性の高いコメントは予告なしに削除・非表示にする場合がございます。