TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
もっと前頭葉を使いなさいよ
９―３÷１／３＋１＝？　新入社員の正答率４割
現代数学の系譜 工学物理雑談 古典ガロア理論も読む48
【自称数学者】三鷹の大類昌俊2018-2【つどい出禁】
マイケル・スピヴァック著『多変数解析学』を読む。【Michael Spivak】
初等幾何学ってなに
数学的にLOTO7
分からない問題はここに書いてね456
現代数学の系譜 工学物理雑談 古典ガロア理論も読む44
　　　　　　　　　　　　　　　　ピンク・スライム

人工知能は数学者になれるか？


1 ：2016/03/12 〜 最終レス ：2019/08/23
　いま人工知能が属国の棋士を破った。　わが帝国にはるかにおよばず
といえども、長足の進歩である。

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

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

2 ：
　東大くんおそるべし

3 ：
人工知能

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

4 ：
では。ヒソヒソ。

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

6 ：
囲碁板から来たなｗ

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

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

7 ：
運営乙

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

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

10 ：
藤原雅彦がひとこと

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

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

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

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

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

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

16 ：
　　 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''
　''''　''''''''　'''''''''''　 　　　　　　　 　''''' '''　 　 　'''''　　'''''''''

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

29 ：
運営乙

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

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

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

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

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

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

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

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

35 ：
全て解決

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

37 ：
医学も概ね解決

38 ：
先の話

39 ：
AIと人類の歴史

40 ：
ごめん…

41 ：
distinct

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

43 ：
馬鹿でごめん（治頭）

44 ：
>>37
医学…×
医療…○

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

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

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

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

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

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

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

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

49 ：
うんえいおつ

50 ：
ゴミスレ

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

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

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

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

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

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

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

54 ：
ノーベル賞クラス　＝＝　フィールズ賞　〜　松下賞？

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

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

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

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

57 ：
無いよ。>>55の通り。

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

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

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

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

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

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

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

64 ：
最後に自己紹介乙

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

79 ：
糞スレageんな

80 ：
>>79　やだよ

81 ：
見てねーよ

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

83 ：
昔の話だな

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

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

86 ：
つまらんスレチ

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

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

88 ：
つまんね

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

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

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

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

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

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

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

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

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

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

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

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

96 ：
思ってたらお気の毒

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

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

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

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

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


100〜のスレッドの続きを読む
【数学者】大類昌俊【総合】　Part3
【数セミ】エレガントな解答をもとむ3【2018.10】
Inter-universal geometry と ABC 予想 43
現代数学の系譜11 ガロア理論を読む25
Inter-universal geometry と ABC予想 29
増田芳雄が増田哲也にしたことは躾か虐待か決着を
こんな板復活させなくてよかったのに
Inter-universal geometry と ABC予想 37
数学板の天才方、表現論の教科書教えてください　数論方面で
素数について教えていただきたいのですが
--------------------
【春場ねぎ】五等分の花嫁 アンチスレ★66
火曜JUNK 爆笑問題カーボーイ part247
【韓国】「レッドチーム入り」宣言　国防白書から「北は敵」削除　識者「『中国寄り、米国離れ』鮮明」[1/16]
ビーズ教室情報
スク水揚げされる
チャカチャカチャンチャン ＠狂い咲き
【2017年 大河ドラマ】 おんな城主 直虎 質問・解説スレ
なぜボウリングは五輪を落選したのか？
◇◆◇MORROWIND BOOK 55◇◆◇
1パチの話になると鼻息荒くしてマウント取りにくる4パチ依存症ガイジ 2ガイジ目
【中国新移民】在日中国人100万人突破＆観光客大挙襲来で、中国語が日本中を席巻[07/27]
インデックスファンド Part110
【韓銀ちゃうんかい】トルコ、日本銀行などとスワップ締結迫るとの報道…リラが値上がり [5/21] [新種のホケモン★]
【金正恩は暗殺】ラウンジ三国志3396【文在寅は死刑】
【逃走中】 大阪府警、まだ3000人(経費1日1億円)態勢で追っていた
ジャンプ打ち切りサバイバルレースPart2965
【バーチャルYoutuber】にじさんじアンチスレ1818【広げない内輪の輪応援スレ】
ALDIOUS 60
／ ´,_ゝ｀＼初心者のための富士山登山入門131m
石野卓球と愉快なクランケたち20
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼