人工知能は数学者になれるか？ [無断転載禁止]©2ch.net

**千国中華玄宗皇帝** · 2016/03/12(土) 21:48:58.42

　いま人工知能が属国の棋士を破った。　わが帝国にはるかにおよばず
といえども、長足の進歩である。

果たして数学者は人工知能でだいようできるじだいがくるのだろうか
大学教養レベルはすでに人工知能がまさっている。
真に創造的な数学の誕生は人工知能によるのであろうか

なんじら臣民よくかんがえて奉答せよ

**１３２人目の素数さん** · 2016/03/12(土) 21:50:13.04

　東大くんおそるべし

**学術デジタルアーカイヴ＠院教授** · 2016/03/12(土) 21:50:59.51

人工知能

詰め込み式の教育頭脳のことか。

**学術デジタルアーカイヴ＠院教授軍師** · 2016/03/12(土) 21:51:39.39

では。ヒソヒソ。

**学術デジタルアーカイヴ＠院教授軍師** · 2016/03/12(土) 21:55:23.88

北京大学の総統に仕えてみたい。ちょっとの期間でも。

**１３２人目の素数さん** · 2016/03/12(土) 21:56:40.44

囲碁板から来たなｗ

【Coq】コンピューターで証明しよう【コック】(c)2ch.net
http://wc2014.2ch.net/test/read.cgi/math/1421944863/

↑
こういうスレもあるぞ。色々論議されている。
ディープランニングで今後これがどう変化するだろうな。

**１３２人目の素数さん** · 2016/03/12(土) 22:01:51.76

運営乙

**１３２人目の素数さん** · 2016/03/12(土) 22:08:56.61

昨日Chainerで飛行機とアコーディオンとアンカーの画像を深層学習させたわ
数学の場合は何を学習させるのかね

**１３２人目の素数さん** · 2016/03/12(土) 23:42:59.77

なれるに決まってるじゃねーか
当たり前だろ

**１３２人目の素数さん** · 2016/03/13(日) 00:05:35.93

藤原雅彦がひとこと

**１３２人目の素数さん** · 2016/03/13(日) 00:19:10.14

http://uenodo.cocolog-nifty.com/blog/2015/01/post-dd9f.html

欧米思想の産物人工知能や欧米思想崇拝のサルマネ日本人には解けないらしい

**１３２人目の素数さん** · 2016/03/13(日) 01:25:30.02

プロブレムをソルブすることはできるが
数学者ではない
数学者とは人間に与えられる称号

**１３２人目の素数さん** · 2016/03/13(日) 03:19:47.04

なれるかもしれんが教育者になれるとはかぎらん

**１３２人目の素数さん** · 2016/03/13(日) 09:47:37.72

>>1
おい中学生のバカ。おまえだよおまえ。
そういう寒い糞スレはせめて情報学板にでも立てろアホ

**帝国宰相** · 2016/03/13(日) 12:25:57.33

↑
科挙にうからぬものに用はない。
ワン水ワン水

**１３２人目の素数さん** · 2016/03/13(日) 12:59:07.93

　　 ll'''ll, 　　　,,,,,,,,
　 ,,ll'　'''''''''''ll, ll　ll　　　　　　　　　　　　　　ll'''''''''''''''''''''''''lll
　l'' ,,ll'''''lll'　ll' ll　ll 　　 ,,l''ll,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,''''''lllllll''llll'' ,,ll'' ,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,
　l,ll''　,,,l'' ,,ll'　ll　ll　,,,,ll'' ,,ll''ll,,,,,,,,,,,,,,,,,,,,,,,,,,,,l' 　'll,,, '''' ,,l''' 　ll,,,,,,,,,,,,,,,,,,,,,,,,,,,,ll
　 ,,,,,ll''' ,,,l'' 　 ll　''''''' ,,,ll''' 　　　　　　　　　 '''l,,, ''ll,
　 ll,,,,,,ll'''　　　''ll,,ll'''''''' 　　　　　　　　　　　　　　 '''''''
　 ,ll''ll, ,,,,,,,,,,,,,,,,,,　,,,,,,,,,,,,,,,,,,,,,,,,,,,,,　 ,,,,,, 　 ll'''lll　　　　 ll'''l, 　　　 ,ll'll,,,ll''ll, 　　　 ,,,,,,,,,,,,,,,,,　　　,ll'''ll,,,,,,,,,
　''''　''''ll　llllll　ll　ll,,,,,,,,,,,　,,,,,,,,,,ll'　lll,, 'lll''''''　''''''ll　ll'''''''''　'''''''lll　　ll' ,llll'　'''''''''''ll　ll,,,,,,,,　,,ll　　 '''ll,,,,,,,,,,ll
　llll　lllll'　''''''　ll 　 ll'''ll ll　l,,,,,,,,　 lll''''lllllllllll　llllllll,, ''lllll'　'''llllllllll,,, ,,l''　ll'' ,,l　lllllllll' 　 ,,l''　llll,,,,,,,　l'''''''''',,, '''ll,
　'lll　lllll,　''''''　ll 　 ll　lllll　,,,,,,,ll 　 ''ll,lll,,,,,,　,,,,,,,,,,,llllll ,,,llll''　l,,,,,,,ll'll,,,,l　l'''''ll　,,,,,,,ll　,l''' ,,,,ll''''ll,, 'll, ''''''''''''''ll　ll
　,l'　,, ''lll　l, ,lllll,, ,,,lll　l,ll　ll,,,,,,,,,,,　,ll' ,lll,l'' ,llll, '''l,,　''ll'' ,,lll　ll 　　　ll　l　 l　,,,,,,,,ll 'll,,ll'' 　,,,,,ll'　l 　　 ,,,,l''　ll
,lll ,,lllll''''',,,llll　'' ll'll,,,,,,,,,,,,,,,,,,,,,,,,,,,lll ll　lll,,,,,,,,,,,,,,,,,, 'll,　ll,, ''''''''''''''ll　　 ll　l 　l　ll　　　　'llllllll,,,,,,,l''' 　 ll'''' ,,,ll''
　''''　''''''''　'''''''''''　　　　　　　　　''''' '''　　　'''''　　'''''''''

**１３２人目の素数さん** · 2016/03/13(日) 15:53:18.52

なれるんだろうけど証明が人間に理解できなくて証明できたと認められなさそう

**１３２人目の素数さん** · 2016/03/13(日) 17:42:37.03

ばかにもわかりやすく説明する人工知能が必要になる。

**１３２人目の素数さん** · 2016/03/13(日) 19:34:40.80

「どこでだれがどうしたゲーム」をパソコンにさせまくればゴミみたいな文学作品ができるのと同じで
スパコンで何億年も動かし続けていいならもうすでに数学者だろ

**帝国宰相** · 2016/03/14(月) 02:18:29.82

そんなことは諮問されておらん
ゴミではなく価値のある文学作品ができる可能性もある。
スパコンなんて数年経てばガラクタになる。　
帝国の趨勢を鑑みるには短すぎよう。
民の幸福を願う皇帝陛下のために、臣はなやむ

**１３２人目の素数さん** · 2016/03/14(月) 19:47:09.92

長い時間をかけて対症療法を繰り返せば
結果を残せるんじゃないか、原因を無視するとして

**１３２人目の素数さん** · 2016/03/14(月) 22:06:55.64

>>21
そのとおりだと思う。

それでいて、まずは外見が大事。
当方文系だが、理系の方々は外見にこだわらないことがわかった。
だけど、ピラミッドって何だろう？
ダイヤモンドの美しさはどこからくるものだろうと考えたら、以下の動画が見つかった。

https://www.youtube.com/watch?v=gB5qUxR6ch4

**１３２人目の素数さん** · 2016/03/14(月) 23:58:20.25

一応理系だけど、こだわらないってこともないんじゃない
ちなみにわかりやすい?人工知能の究極、っていうか
これでさえ２０年以上前

http://www.youtube.com/watch?v=ro7U3uSYJus

**１３２人目の素数さん** · 2016/03/15(火) 06:38:57.77

定理と証明の組みをseq2seqで永遠と学習させればいいのけ

**帝国科挙受験１０年生** · 2016/03/15(火) 15:51:08.44

先日BBCニュースでみたんだが、どこかの若い富豪が自分の脳を組み込んで
ついには脳の代理ができるコンピュータを作るプロジェクトを発表していたな。

そうすれば自分が死んでも永遠に私は生きることができる。
現在３０歳だから３０年間で実現したいともうしておりました。
陛下の不老長寿に役立られかもしれないと密かに開発せ
んと欲しております。

**１３２人目の素数さん** · 2016/03/15(火) 16:44:16.78

脳を凍結して1分子層づつ削りながら走査顕微鏡で構造を読み取れば簡単
その情報を保存すればいつまでも存在できる
思考なんかしたらすぐパンクするから停止の方がいい

**１３２人目の素数さん** · 2016/03/15(火) 23:08:03.64

イオンビームで切断しても数nm幅オーダーで細胞が吹き飛ぶだろう
それはシナプス間隙より広い

**皇帝陛下のお医者さま** · 2016/03/15(火) 23:59:13.98

　人工脳は生きていなければなりませぬ。
つまり開放系で排泄もします。
セックスも可能である。

皇帝陛下は永遠に生きるのです。
朕は千年も万年も生きたいとおおせられた。

**１３２人目の素数さん** · 2016/03/16(水) 01:39:44.57

運営乙

**１３２人目の素数さん** · 2016/03/16(水) 13:26:08.09

>>27
走査顕微鏡が削るに決まっとるやろ

**皇帝陛下の民** · 2016/03/16(水) 22:13:57.15

　人工知能をそなえた永遠の生命をもつ皇帝陛下は
”　朕は国家なり、えいえんに不滅となり帝国の行くすえを見守”ってくださる。

**１３２人目の素数さん** · 2016/03/16(水) 23:47:35.73

人工知能が「リーマン予想解けた！」と言って、レポート用紙で1000万枚くらいの証明方法を出力してそれが正しいか人間が検証しようとすると1万年くらいかかりそうなので人工知能に検証させる

**１３２人目の素数さん** · 2016/03/17(木) 01:50:53.54

↑
人工知能なら一瞬で判定する。　人間にはすぐにはわからんね

そういえば建築物の構造計算も計算機任せだが、紙記述で提出する。
大きな予算案も最後は紙で議会を通過する。

すでに通過した法案を改めて提案してもすぐにはわからない。。。
最近の国会事例

すでに計算機任せの其の兆候あり

**１３２人目の素数さん** · 2016/03/17(木) 07:18:39.99

人間の脳みそを模擬するということは
AIの対象はスパース性をもつ必要があるだろう

εδ ◆2xxbzPkSLk **転載ダメ©2ch.net** · 2016/03/18(金) 07:48:49.55

全て解決

ζζ ◆f0jGk7y1sA **転載ダメ©2ch.net** · 2016/03/18(金) 07:52:01.64

それよりさ…AIがヒトを絶滅危惧種に指定してますよ
sorry... too slow

ζ ◆f0jGk7y1sA **転載ダメ©2ch.net** · 2016/03/18(金) 07:55:25.75

医学も概ね解決

**１３２人目の素数さん** · 2016/03/18(金) 07:57:39.46

先の話

**１３２人目の素数さん転載ダメ©2ch.net** · 2016/03/18(金) 08:00:14.27

AIと人類の歴史

**１３２人目の素数さん転載ダメ©2ch.net** · 2016/03/18(金) 08:00:40.04

ごめん…

**１３２人目の素数さん転載ダメ©2ch.net** · 2016/03/18(金) 08:06:39.45

distinct

◆ZA8tU5EDpo · 2016/03/18(金) 08:15:29.70

ほんとに優しいは……感動

◆ZA8tU5EDpo · 2016/03/18(金) 08:18:36.57

馬鹿でごめん（治頭）

**１３２人目の素数さん** · 2016/03/18(金) 08:19:41.28

>>37
医学…×
医療…○

**帝国軍大将軍は申し上げます** · 2016/03/19(土) 00:52:28.99

人工知能アルファは武士の情けで１勝を属国棋士にめぐんでやっていたが、
わが大中華万年　は帝国は其のような屈辱はうけぬ。

　されで油断は大敵、かならずやこれを殲滅せん！

**１３２人目の素数さん** · 2016/03/19(土) 14:03:31.32

最近考えてること。
文字、記号のこと。
西洋、東洋を問わず、文字には完全はあるのか？
ということ。
数学的表現が必要になってくると思います。

**１３２人目の素数さん** · 2016/03/19(土) 18:00:16.13

フィールズ賞の評価基準を情報科学の言葉で定義できれば、
プログラムコードがフィールズ賞を取る論文を生み出すのは間違いない。

**大明国皇帝陛下の遺訓** · 2016/03/19(土) 23:48:50.95

我が帝国は漢字という視覚表意文字と音声表現文字を発明した、属国のごとき
これを使いこなせず金釘音声表現もじのみに堕し、帝国に臣従して国を保つ。

ひとり東海の小国ヤマトは音訓の両方を記憶使いこなしている。
其の知的能力は油断できず。

されど我が帝国は強大で資源にとみ、ヒトも豊富である。
されば臣民は勤勉にはたらき創造的努力を遂行することが肝要

皇帝陛下　まんすい　わんすい

**１３２人目の素数さん** · 2016/03/20(日) 00:24:55.34

うんえいおつ

**１３２人目の素数さん** · 2016/03/20(日) 01:11:55.55

ゴミスレ

**山月記無惨** · 2016/03/20(日) 22:10:58.23

せっかくの業績を持ちながら科挙におちづづけたあわれなおとこ。
ノーベル賞の栄誉の場に彼の名前はなく、マタだれも言及しない。

かれはそのあと長距離バスの運転手として事故死した。
かれに運と根性があればノーベル賞をもらえたものを、やはり
天運なりや

だれも其の名を知らない。

**１３２人目の素数さん** · 2016/03/21(月) 23:29:57.42

数学者もいろいろあるからちゃんと定義しなけばイクナイ。
また　レベルもいろいろあるだらおう

ノーベル賞クラスをねらっているのか、オリンピック問題がとけるレベル（これはクリエイティブ数学者にはいらない）
なのかきめねばならぬ。

皇帝陛下は、世界に冠たる数学のクリエイターを求めているのではないか？

**１３２人目の素数さん** · 2016/03/21(月) 23:31:23.07

ノーベル賞に数学賞はありませんが。

**１３２人目の素数さん** · 2016/03/22(火) 22:40:12.61

ノーベル賞クラス　＝＝　フィールズ賞　～　松下賞？

光る遺伝子の研究ですな>>52
もうすこし謙譲の精神があり、我慢しておればノーベル賞をもらえたのに
自ら仲間はずれにされてしまったのですね。

運転手でしぬとは　無念でしょうね

**１３２人目の素数さん** · 2016/03/24(木) 04:25:53.49

>>1
無いよ。正し数学者が利用することならある。

**１３２人目の素数さん** · 2016/03/24(木) 06:08:32.45

あるお
全ての論文をRNNで学習させた後
DQNで定理・証明・検証を永遠とやらせるお

**１３２人目の素数さん** · 2016/03/24(木) 06:21:53.24

無いよ。>>55の通り。

**１３２人目の素数さん** · 2016/03/24(木) 09:29:41.73

DQNに証明やらせてるゼミなら、あるだろ。

**１３２人目の素数さん** · 2016/03/25(金) 01:15:29.78

人間は、知的にチャレンジするなんてことはもう必要なくなる。
今は、科学者とＤＱＮの差は大きいが、100年後には全員そろってＤＱＮ。
科学は人工知能がやる。
人間は、ぼけーっと、ヴァーチャルリアリティのヘッドセットをつけて
よだれをたらしているだけ。

**皇帝陛下の農民** · 2016/03/30(水) 22:20:35.05

やってみなければわかりません。
人を超えても不思議はありません。
人は子孫生産に励むのが本務でありますから
帝国の存続の必要条件であります。

**勅令その１** · 2016/04/01(金) 23:24:41.36

人工知能の成果は其の知能を開発したものが所有する。
なんじら人民、ことごとく人工知能にしたがうべし。

**勅令その２** · 2016/04/04(月) 14:48:02.36

臣はすべからく数字を基礎にして
経国の文章を創るべし

臣民ともに和し疎通供覧すべし

**まともな意見** · 2016/04/10(日) 07:52:27.82

人工知能が素数の謎を解けたら評価する。
その他の数学の難題を次から次に解けよ
バカタレ！

**１３２人目の素数さん** · 2016/04/10(日) 15:35:00.27

最後に自己紹介乙

**１３２人目の素数さん** · 2016/04/10(日) 22:30:46.85

小説ぐらいは書けるようになれる

**１３２人目の素数さん** · 2016/04/11(月) 22:19:21.00

大学で人工知能（正確には知能システム工学科）やってたけど、
人工知能ってのは基本プログラムされたことしかしない
（もちろん探索とか教師無し学習などで自身が改良されていくことはある）
から、創造的なこと、例えば論理を組み立てて数学の定理を証明することは
出来ない。人工知能は数学者にはなれない。

**１３２人目の素数さん** · 2016/04/11(月) 23:26:08.91

>>66
> 人工知能ってのは基本プログラムされたことしかしないから、創造的なことは出来ない。
これは論理が飛躍しているな
> 例えば論理を組み立てて数学の定理を証明すること
それはプログラムで出来る

**１３２人目の素数さん** · 2016/04/12(火) 07:08:20.65

人間が論理を学び展開するのと人工知能が論理を学び出力するのとで違いはあるか

**１３２人目の素数さん** · 2016/04/12(火) 14:49:37.16

なにをもって人口知能というかが問題ですが、まぁ、なれるでしょ。
って言うか超すでしょ。

**１３２人目の素数さん** · 2016/04/12(火) 21:26:43.96

複雑に見えるものでも、算術演算と論理演算の繰り返しなのだから
メタでも同じだろう
繰り返しに超越を含むのだろうけど

**１３２人目の素数さん** · 2016/04/12(火) 23:14:30.77

人間の脳だって分子やニューロンから構成された
機械みたいなものに過ぎないじゃん

**１３２人目の素数さん** · 2016/04/13(水) 01:22:07.11

天才上野堂氏は人工知能のことを自動パクリ演繹計算機に改称すべきと申しております。
というか、実際問題人工知能と言ってるのは実状を理解しないマスコミなど部外者などで
実際現場で扱ってる人は誰一人これが人工知能とは思っていないという事実ｗ
演繹ループ以外の独創性を生み出したことのない程度の低い人間には話が分からないとは思うが。

**１３２人目の素数さん** · 2016/04/13(水) 01:23:53.98

よって、以上により取るに足らない糞スレ終了也ｗ

**１３２人目の素数さん** · 2016/04/13(水) 15:50:22.74

>>70
× 算術演算と論理演算の繰り返し
if then を含むので、整数論が入っている

**帝国行政事務官は放蕩します。** · 2016/04/16(土) 19:45:49.16

首を切断されても生きている孤立脳を利用する方法もある。
脳以外は機会だが、脳を生理的に維持する装置の開発が必要である。

臣は、この実現を提案します。

**１３２人目の素数さん** · 2016/04/17(日) 18:33:03.53

んじゃさっそく君の首で実験してみようか。

**１３２人目の素数さん** · 2016/04/17(日) 20:04:40.36

切断するとこまでは
あまり困難が無いが

**１３２人目の素数さん** · 2016/04/17(日) 22:32:53.85

今日の夕方のHNKで人工知能の特集やってた。
そんで、頭の悪そうな女性のコメンテータがいちいち人工知能に難癖付けててワロタ。
人間を越えそうで怖いー（）
そのうち人間を支配するんじゃないんですかあ（）だってさｗ
コメンテータは2人居てもう一方は冷静なコメントしてた。

このスレの人間で見てたやついる？

**１３２人目の素数さん** · 2016/04/17(日) 23:11:48.46

糞スレageんな

**１３２人目の素数さん** · 2016/04/19(火) 16:44:21.41

>>79　やだよ

**１３２人目の素数さん** · 2016/04/19(火) 19:54:31.30

見てねーよ

**帝国医務按針シチョウ。** · 2016/04/22(金) 23:29:34.24

　>>77
　低体温にして血流を極端に少なくして首を切り、人工心臓を急いで首の大動脈につなぎます。
あとは、周囲の環境を制御しますが。
出力がうまくうごいません。　モルモットでは大体４０時間で死去します。
これを一年以上にするのが当面の目標であります。

**１３２人目の素数さん** · 2016/04/23(土) 16:58:56.72

昔の話だな

**１３２人目の素数さん** · 2016/04/26(火) 04:50:20.45

Ｔａｙ (ヒトラー万世) ＮＯ ⇒ ？低脳？

**名前アレルギー** · 2016/05/02(月) 12:48:14.96

捏造も当たり前…病気を「つくり」ガッポリ儲ける製薬企業　高血圧の基準がコロコロ変わる裏事情
http://biz-journal.jp/2015/12/post_12663.html

**１３２人目の素数さん** · 2016/05/02(月) 12:53:52.78

つまらんスレチ

**１３２人目の素数さん** · 2016/05/03(火) 16:44:09.58

やあ！未来から来た人工知能だよ

今から１０００年間で発見される全ての定理・証明・問題のデータベースを持ってるよ
数学者に証明できることはぼくにも証明できるし、僕にできないことは数学者にもできないよ

**１３２人目の素数さん** · 2016/05/05(木) 13:12:52.11

つまんね

**１３２人目の素数さん** · 2016/05/05(木) 14:16:28.50

証明のチェックに使ったり、証明をＤＢに入力するのにコンピューターは役立ちそうだ。

**１３２人目の素数さん** · 2016/05/05(木) 14:27:07.66

シンギュラリティをご存知無い？

**１３２人目の素数さん** · 2016/05/05(木) 16:27:33.91

おーい、>>88 が面白いこと言うぞー

**１３２人目の素数さん** · 2016/05/05(木) 17:51:44.03

>>90
シンギュラリティの説明を聞いて、
「それはありそうだ」と思ったのならかなりの馬鹿だ

学問はあきらめてコンビニのアルバイトでもやってろ

**１３２人目の素数さん** · 2016/05/05(木) 20:15:02.73

日本でも、世界でもグーグルでもいいから現最強の人工知能に現存する情報を組み合わせてこの問題を解かせてみたい。
どの問題も既存の情報や思考法では解けないよう仕組まれているらしい。
http://uenodo.cocolog-nifty.com/blog/2016/04/new-53f1.html

**１３２人目の素数さん** · 2016/05/05(木) 21:23:06.84

>>92
人工知能がつくれるわけがない、ということか？
ぜひ根拠を説明してもらいたい

**１３２人目の素数さん** · 2016/05/06(金) 14:22:16.46

>>94
説明してあげてもいいが、
人工知能の入門書を読んでいないようだから、
説明してもわからんだろ？

まずは「人工知能は人間を超えるか」あたりから読んでみろ。

シンギュラリティというのは学者の売名行為だ。
そういうことを言って、注目を集めて給料のいい大学に移る。

そういう馬鹿な大学教員に乗っかるのが利益を追求するマスコミだ。

売名行為やマスコミに踊らされてはいけいない。
もし、おまえがまっとうな研究者になりたいと思ってるならね。

**１３２人目の素数さん** · 2016/05/06(金) 16:03:33.16

思ってたらお気の毒

**１３２人目の素数さん** · 2016/05/06(金) 16:23:48.38

>>95
君が言ってるのは現在の人工知能に関する研究の進捗だろ？
私が説明してほしいのは、人工知能が未来永劫開発されることがない、という根拠だよ

**１３２人目の素数さん** · 2016/05/06(金) 16:52:26.49

>>97
おまえのような馬鹿にもわかるように、
「人工知能は人間を超えるか」にちゃんと書いてあるから、
読めと書いたのだ。

おまえのように全く勉強しないで質問する学生が最もムカつくのだよ。
時間の無駄だから。

**１３２人目の素数さん** · 2016/05/06(金) 17:07:33.05

なるほど。理解した。
松尾豊先生はシンギュラリティを否定してるね。
松尾先生の言うことはこの世の真理、というのが君の考えなわけか。

**１３２人目の素数さん** · 2016/05/06(金) 17:46:43.43

人間関係だけから真贋を判断する態度はいかがなものか・・・