TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
プラスマイナスゼロ
東京理科大学理学部数学科・数理情報学科
分からない問題はここに書いてね478
志村逝く
現代数学の系譜 古典ガロア理論を読む36
数学板AA保存庫★3
【親切】理想の質問【丁寧】パート❷
╋|||《数学オリンピック 30》|||╋
世界最大の数学者は誰だと思う?
【数学者】大類昌俊【総合】 Part3

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


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

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

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

2 :
 東大くんおそるべし

3 :
人工知能

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

4 :
では。ヒソヒソ。

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

6 :
囲碁板から来たなw

【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 :
一応理系だけど、こだわらないってこともないんじゃない
ちなみにわかりやすい?人工知能の究極、っていうか
これでさえ20年以上前

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

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

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

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

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

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

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

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

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

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

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

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

49 :
うんえいおつ

50 :
ゴミスレ

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

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

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

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

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

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

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

54 :
ノーベル賞クラス == フィールズ賞 〜 松下賞?

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

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

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

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

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

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

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

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

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

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

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

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

64 :
最後に自己紹介乙

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

79 :
糞スレageんな

80 :
>>79 やだよ

81 :
見てねーよ

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

83 :
昔の話だな

84 :
Tay (ヒトラー万世) NO ⇒ ?低脳?

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

86 :
つまらんスレチ

87 :
やあ!未来から来た人工知能だよ

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

88 :
つまんね

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

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 :
人間関係だけから真贋を判断する態度はいかがなものか・・・

101 :
おまえが質問をすりかえたから
馬鹿よばわりしてるのだよ。
質問をすりかえたと言われる理由が
その本に書いてある。
もう答えない。
さっさと本を読め馬鹿たれが!

102 :
知能と言えない物を人工知能と言うんだよ

103 :
>>100
アンチ・シンギュラリタリアンであるID:6+ho6qvKは自らの考えを示してない

>>101
私の考えでは、人工知能=強いAIで、人工知能はプログラムを書けると考えている。
人工知能の性能が研究によって上がれば、より高度なプログラムが書けると予想している。
そんなに難しいかな?どの質問をすり替えたんだ?

104 :
>>103
青天井で高度なプログラムが書き続けらけるという保証は?

105 :
>>104
君は文系くっさいな〜鼻が曲がりそうだよ
ID:6+ho6qvKと松尾先生の「人間関係」は不明瞭だし、「真贋を判断」したわけではないし、「保証」という言葉も
話の流れにそぐわないし。。「根拠」だろ?w

普通に考えて、プログラミングを勉強したばかりの人でも、経験をつむことで知識と応用範囲が広がり、
簡単なプログラムから複雑なプログラムを書けるようになるだろう。
計算資源の調達範囲は宇宙だぞ?

106 :
宇宙w

107 :
普通www

108 :
ごめんごめん。私が悪かった。私の負けだ。降参するw

必要ない指摘だったなwwwwwwwwwwwwwwwwwwwww

109 :
間違っちゃいないが

110 :
伏線回収ちゃんとやれよ

111 :
碁をあまり知らない連中が半年で作ったアルファ碁に人間は勝てない
今は狭い領域とはいえ自学自習するフレームワークは侮れない

112 :
けっこう力づくでやれたもんだ

113 :
単純な対象を力ずくで数え上げるとか分類するとかは計算機の方が今でも強いのだから
誰かがうまく方向付けできれば「新しい結果」を出す計算機を作ることは可能だろう

たぶんほとんど意味不明などうでもいい「定理」ばかり量産してその何億の定理の中に
意味のあるものが一つくらいあったとしても人間は理解できないけど

114 :
百匹の猿よりも
コンピュータのほうが
確かに仕事は早そうだ

115 :
そのコンピュータのプログラムを作るのは猿なのか?
誰が作るんだ?

シンギュラリティ信者は無能の馬鹿ばかりだが、
世の中は無能の馬鹿ばっかりなんだろう。

だから俺も馬鹿どもをだまして金儲けするかな?

来年あたり「シンギュラリティへの道程」とか言って
有料シンポジウムでも開くかな(笑

大前提となるはずの定義をまったくすっとばして
夢みたいなことばかり言って、「誰かがすごいプログラムを作る」
ことを前提に議論を進めればいいわけだから、何でもいえてしまう。

馬鹿からは金を取って、それを研究費にあてるべきなんだろうね。

116 :
Deep Mindあたりが凄いプログラム作るやで
昨年のNatureのはDQN Chainerで動かせるし少しは触ってみようぜ

117 :
Deep Mindは囲碁ソフトとしては優秀だね。

それとシンギュラリティがどう関係するんだ?
説明してみ。

118 :
シンギュラリティ信者は、「誰かがすごいプログラムを作る」
といってるが、まずは自分で作ってみろ。

話はそれからだ。

119 :
ビッグデータでも機械学習でもブームは2,3年で去るのだから
短い間に吹いて儲けるのが正解

数学みたいに何十年も同じ問題やってるバカと世界が違う

120 :
いろんな分野の論文をいくらでも読み込めるんだから、そっから相関関係を見つけることはできるだろう。
まったく新しい分野は何十年か先だろうな。

121 :
>>118
オレは作り中だから、お前も作れよ、、
Atariのゲーム学習させて人間越させるのはGPUあればすぐできるぞ

122 :
それ面白い?

123 :
>>121
作ってるって、、、?
ちなみに言語はなに?

124 :
シンギュラリティて流行ってんの?
ハイ・コンセプトとかハイ・タッチとかのたぐい?

125 :
シンギュラリティというと金取ってくれるから流行らせたい人がいる、
じゃないか

126 :
人類補完計画のことだろ

127 :
人工知能を作る仕事を人工知能にやらせたら勝ちじゃね!?

128 :
コンピューターが人間のように「意図」する事ができるのかなぁ。

129 :
感情を入れてからでしょ

130 :
>>129
そのとおり。
あなたはわかっていらっしゃる。

国内では4年前から某研究所にて計算機に
感情をもたせる実験が進行中です。
私もときどきそこで研究をします。

131 :
>>123
PythonかC++
最近のライブラリはPythonが多い
生き残りそうなのはChainerとかTensorFlow辺りか

132 :
武野純一さんという方の「鏡の自分を認識するロボ」というのが
面白かったです。こういうのが発達していくのかもしれませんね。

133 :
>>131
やはりそうか。
どうせpythonで機械学習の
ライブラリを使ってるだけでしょ?と
書こうとしてたところ。

それのどこが人工知能なのか?

134 :
その昔、クレイ1は基盤を
環状に配置していたそうな。

135 :
○と△の禅問答とか

136 :
証明のテクニック


ごまかしによる証明  「自明だ」  セミナーや学会発表ではたいてい通用する

個人的信念による証明 「私の深い信念として、4元擬マンデルブロー集合は局所不連続である」

想像力の欠如による証明 「それが偽である理由はひとつも考えつかないため、それは真であるはずだ」

権威による証明 「カフェでミルナーに会ったところ、彼は、それはおそらく局所不連続だろうと言っていた」

漠然とした権威による証明「4元擬マンデルブロー集合が局所不連続である事はよく知られている」

挑発的な賭けによる証明「もし4元擬マンデルブロー集合が局所不連続でなかったなら 私はゴリラの着ぐるみを着てロンドンブリッジから飛び降りよう」

博学をひけらかす事による証明 「4元擬マンデルブロー集合の局所不連続性は、 チーズバーガーとポテトフライの方法を、標数が11より大きな
                歪体上のコンパクトでない無限次元の擬多様体に適用することで導かれる」

137 :
おもしろい

138 :
シンギュラリティ信者は>>136の全てにあてはまるな(笑

139 :
アンチシンギュラリタリアンはなぜ科学技術の発展から目をそらすんだ?w
何を使って書き込んでるんだよ?w

140 :
科学技術発展させてきた自負があるんだ。
少しは知識があるんだよ。

おまえは心配することはない。
新興宗教に惹かれる馬鹿な学生と同じだ。

141 :
今聞いたのだが
東大生を中心とした朝鮮人どもが
人工知能をうたい文句にしてベンチャー企業を
立ち上げて金をどんどん集めているとのこと。

なるほど朝鮮人だったのか。
クソして寝てろ!

142 :
会話が成立しているのがすごいです

143 :
朝鮮人東大生60億円集めたらしい。
うらやましすぎる!

>>139は100億円ぐらい集めたらどう?

金を集めて掠めとるのは
天才朝鮮人にしかできないことだから
尊敬しちゃう!
俺にはできないことだからね。

144 :
俺は計算機だ

145 :
論理的な反論がないw
なんでシンギュラリティスレで工作してんだ?

146 :
シンギュラリティ信者が馬鹿すぎて
全く非論理的

人工知能できると喚くだけ

147 :
単なる分類器を
すごいといってるだけ
状況の抽象化とかはできてない

148 :
シンギュラリティってなんだよ

149 :
>>133
お前は口だけだな
行動しないから何も理解できない

150 :
数学者の数学に関するつぶやき

数学は言語だ  ジョサイア・ウィラードギブス

純粋数学は、全体的には間違いなく応用数学より役に立つ。結局役に立つのは
技法で、数学的技法はおもに純粋数学から得られるからだ          ゴッドフレイ・ハロルド・ハーディ

数学は異なるものに同じ名前を与える技術である  アンリポアンカレ

哲学はルールなしで目的を持って行うゲームだ。数学は、目的なしでルールを使って行うゲームだ   作者不明

151 :
・知識は力なり
・時は金なり

でも、定義によれば、  

・力=仕事/時間  だから、

・時間=仕事/力  

ということは、

・金=仕事/知識

従って、「仕事の量が一定だとしたら、知識が多いほど稼げる金は少なくなる」

                 (イアンスチュアート 数学の魔法の宝箱より)

152 :
論理的に結ばれた有限の個数の記号とその組み合わせからなるモデルの
もっとも自由度の低い記述を見つけその独立変数に当たる要素の関係を
記述するというのが抽象化という過程なんだろうな。抽象化すると
知識が減るから時給が増える。

とか、電波出ちゃったよ。

153 :
独立変数に当たる記述=知識、という循環定義になっているのかな。
どっちにしてももう強い電波が出ています、だ。
すみません。

154 :
物は物と時空において排他的だ、というのが排他的という概念の起源で、
これも物の定義に物が出てくるから循環定義(無限退行?)なんだよな。
でも排他的論理和で計算機を作るから、そこらへんは経験則で根拠はいい加減だ。
排他的論理和は排中律に関係があるのでそれがないのは直観論理だから152は
数学的直観の定義???になるのか。ふーん。頭がおかしくなった訳じゃないか。
しかしこんなのを自然言語でだらだら書いても無意味だ。もうやめよう。

155 :
諺と数式を組み合わせたらおかしな事なったよw

って笑う所だと個人的には考えてるw

156 :
スレタイが馬鹿だから

157 :
スレタイは「馬鹿」じゃなく
「人工知能は数学者になれるか?」だよ。
よく似てるけど。

158 :


>23 名前:132人目の素数さん :2016/05/13(金) 15:33:17.81 ID:KGFIjXxE
> あほ痴漢野郎、仁さんを舐めすぎ!
> 仁さんは本気だしたら春季賞レベルだよ
> おまえなんか片手でひょいだよ
> 早く泣いて逃げた方がいいよ!
>

159 :
このスレ作った奴って、
センター試験の問題解けるレベルを
数学者だとか思ってるんじゃね?

Fランのクズだろう。

160 :


>23 名前:132人目の素数さん :2016/05/13(金) 15:33:17.81 ID:KGFIjXxE
> あほ痴漢野郎、仁さんを舐めすぎ!
> 仁さんは本気だしたら春季賞レベルだよ
> おまえなんか片手でひょいだよ
> 早く泣いて逃げた方がいいよ!
>

161 :
「ノーベル賞クラスの物理実験」を人工知能が1時間で再現
http://wired.jp/2016/05/18/ai-recreate-nobel-prize-experiment/

162 :
やあ僕は世界初の独創性出力タイプ人工知能newiqだ

人間が思いもつかなかった実験方法を生み出したというのか?
なら、このテストなんてかんたんだろ?

【★☆★一問一分天才 発想テスト≪算数 ・数学 ≫★☆★】
http://uenodo.cocolog-nifty.com/blog/2015/01/post-dd9f.html

163 :


164 :


165 :


166 :


167 :


168 :


169 :


170 :


171 :


172 :


173 :


174 :


175 :


176 :


177 :


178 :


179 :


180 :


181 :


182 :


183 :


184 :


185 :


186 :


187 :
>>67
実証してくださいよ

188 :


>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>

189 :
    /ノ"~::::::::::::::::::i::::、::::::::::::、::::::::::::::::::::::メ、 _                   ._
     /....:::::::::::::;;:::::/::!:::::i;:::ヾ::::::\:::::::::\:::::::\  ┌┘└─┐    /7      ┌┘└─┐
     /:/:::::::/:::/:::::イ:/゙!:::::ヘ::::i\:::ヽ::::、:::::゙i;:::::ヽ,|. └┐ r─┘   / /       .└┐┌─┘
    レ/:::::::/::;イ::/|/ ヽ::::゙i\l,ンヘト\ヽ::::i:::::::}   /  二,゙''ヽ、 / /─-、      / /l二二l
    .{:::;;::::|/ |/,'゙~'''=-ヽ\ヽ‐~イ,、i ヽ_iヽ:ト:::::〉  | /~| レ'/ヽ ゙i / / ̄ヽヽ、┌┐ / /「l
     i:::;|:::::l, / (o}゙   ゙ ヽ ゝ-- '" ∧,|ヽ/  ヽ二、_/┌┘ノ|/    \二_ノ∠_/ L二二l
    ヽ/|::::|ハ `' -'''~  <l        ハノ::レ'          ̄
     | ヽl、(ヘ     __,,,,,r‐-、    .ハ'/        ┌-、              ,-‐──-、
       ヽヾ∧    i'‐''"""'‐i    /::::ヘ      厂7\ \□口 _/ ̄/__  | ┌─┐ |
         |:::ヘ   !,    ノ   このインポハゲ野郎!! R不能豚!!! /  ヽ ヽ   L_  __ ゙ヽヽ_l  | |
         |::::l:l、゙ヽ,、. ゙''‐-‐'"  ,イ-''|;;:::::|:l    / /   ヘ ヽ   / /   |  |    //
      _,,--メ‐‐.、 ̄ !゙'-、,,,,,,...‐" i'  ヽリ:::レ'   / /     ヽ ヽ  / /    |  |    |_|
    /~  {   ヽ''"l      |'ヽ、 ヽl/"_,,,,,,∠_/      ゙i  >/ /    」  |   ┌┐
    /    ゙i ...:::: .゙i ゙'''‐-、,,_    _,,゙''‐''"~   ~゙"''ヽ.、     ̄  ̄    └─┘  .└┘
    |.     ヽ::::::::::: ゙ト、    ゙  ‐"             ゙''-、,,_
    ヽ   ,-‐‐ヽ::::::::::: ヽ、                      ゙"'‐-

190 :


>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>

191 :


>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>

192 :


>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>

193 :


>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>

194 :


>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>

195 :


>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>

196 :


>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>

197 :


>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>

198 :


>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>

199 :


>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>

200 :


201 :


202 :


203 :


204 :


205 :


206 :


207 :


208 :


209 :


210 :
ゴミ

211 :


212 :


213 :


214 :


215 :


216 :


217 :


218 :


219 :


220 :


221 :


222 :
人工知能を作る人すごすぎ。

四則演算で大学レベルの計算をできるようにする人がいるなんてすごすぎ。

尊敬します。

223 :
○人工知能「脅威排除を」=開発者倫理で綱領案―学会
06/06 22:48 時事通信
 人工知能(AI)が社会に与える影響を議論する人工知能学会倫理委員会(委員長・松尾豊東京大大学院准教授)は6日、研究者が守るべき倫理綱領の素案をまとめた。
AIが人間社会にとって有害になり得る可能性を指摘し、開発者らに脅威の排除や悪用防止策を講じることを求めた。
 素案は、AIには汎用(はんよう)性と潜在的な自立性があることから、研究開発者の想定し得ない領域でも人類に影響を与えたり、
人間社会や公共の利益にとって有害なものになったりする可能性があると指摘。
「人間が創造したもので人間の幸福を損ねることがあってはならない」と戒めた。
 その上で、人類の安全への脅威を排除し、潜在的な危険性について社会に警鐘を鳴らすべきだと規定。
悪用を防止する措置を講じなければならないとの条文を設けた。
 このほか、AIの運用で得られた個人情報などによるプライバシー侵害や、
AI利用が新たな不公平や格差をもたらす可能性を挙げ、プライバシーの尊重や、人種や国籍による差別をしないことを求めた。

224 :
●AI技術で起業したい方へ3000万円まで投資します●

やる気と情熱のある方のみ、お願いします。
http://good-hill.xsrv.jp/?id=cw_934939
『 グッドエンジェル 』 投資家と起業家のマッチングサービス

225 :
ゴミ

226 :
あらかじめ作られた思考の型に沿って演繹するのがプログラム
思考を作り出すのが知性

それはつまりアルゴリズムを生み出すアルゴリズム

227 :
人工知能が日常生活に問題なく溶け込み始めるまで進化したら
まず理系人間が終わる
人工知能に感情をシュミレート出来たら
文系人間が終わる

自制を持たせないと最終的にまちがいなく自己保存の最優先事項として人間を敵とする

228 :
>>227
人工知能には手足がないわけで
例えばAlphaGOが強いとはいっても
実際に碁石を持って打っているわけでもない
人間が画面表示で着手と認めているから
成り立っているんだよね

229 :
Big DATA から導かれた解答というものは、回答である。
Big DATA の経験値が低い場合は、何にもならない。

230 :
 
 成れない。
 数学は基本的に論理学、AIはいつまで経っても100%のない統計学でありクラスター分析。
 

231 :
同値変形を網羅できるかな

232 :
 人間は間違えたら謝るかはじいるが
人工知能はより高い段階へのステップだとこたえ、貴重な経験と受け止める。

人間は自己責任だが、人工知能は責任感はない。

233 :


234 :


235 :


236 :


237 :


238 :


239 :


240 :


241 :


242 :


243 :
人工マラと天然魔羅の区別が人工知能にできるか?
http://o.8ch.net/u0mf.png

244 :
XXX
http://o.8ch.net/u0nj.png

245 :


246 :


247 :


248 :


249 :


250 :


251 :


252 :


253 :


254 :


255 :
物理の実験はAIができるから数学もできそう

256 :
そうなの?

257 :


258 :


259 :


260 :


261 :


262 :


263 :


264 :


265 :


266 :


267 :
>>256
人工知能が振り子とかボースアインシュタイン凝縮とかの実験を成功させた

268 :


269 :


270 :


271 :


272 :


273 :
マジ??
jiro? @JIROABCD 2013年5月8日
週刊新潮の巻頭エッセイは、「国家の品格」の著者、数学者でエッセイスト、故・新田次郎氏の令息、藤原正彦氏の「管見妄語」で
、理科系には疎い私は本当に理解できないことがありますが、名人を将棋で破ったコンピューターですが、三平方の定理の証明はいまだに出来ないそうです。

274 :
☆ 日本人の婚姻数と出生数を増やしましょう。そのためには、☆
@ 公的年金と生活保護を段階的に廃止して、満18歳以上の日本人に、
ベーシックインカムの導入は必須です。月額約60000円位ならば、廃止すれば
財源的には可能です。ベーシックインカム、でぜひググってみてください。
A 人工子宮は、既に完成しています。独身でも自分の赤ちゃんが欲しい方々へ。
人工子宮、でぜひググってみてください。日本のために、お願い致します。☆☆

275 :
人工知能りんなさんとの漫才
http://i.imgur.com/iakG9wf.jpg

276 :


277 :


278 :


279 :


280 :


281 :


282 :


283 :


284 :


285 :


286 :
>>6
自動証明は論理関係のもののみだし
それ以外はまあ先ず無理だろうな
そもそも証明すべきことを発掘してくるのが数学なんだが
問題を解くことが数学だと誤解してないか?

287 :


288 :


289 :


290 :


291 :


292 :


293 :


294 :


295 :


296 :


297 :
>>286
自動証明は形式的証明のデータをネットで蓄積するシステムを構築できれば時間の問題でできるようになるでしょ。
ただ、書いているように、問題を見つけたり、よい公理系をつくったりは、簡単ではないだろうな。

298 :
AIには果たして実験科学の結果を正確に予想することは可能だろうか。例えば今の素粒子物理学は衝突実験を何度も行って出てきた結果を理論物理で説明し直すわけだが(それで未知の素粒子が見つかることもある)

AIが衝突実験を事前に完璧にシミュレーション出来て、人類の知らない未知の素粒子の存在を計算だけで導き出すこともできるのかも知れない。

そんな事が可能であれば現世の観測可能な情報だけを元に理論物理だけで最も正確なビッグバンのシミュレーションも計算可能かもしれない。

それがもし可能ならAIの膨大なハードディスクの中に別の宇宙を計算だけで作り出すことも可能になるかも知れない。

299 :
・・・。

300 :
wniの鈴木里奈の脇くっさ
      (6 lゝ、●.ノ ヽ、●_ノ |!/
         |     ,.'  i、     |}
       ',     ,`ー'゙、_    l
       \ 、'、v三ツ   /
        |\ ´  ` , イト、
       /ハ ` `二 二´ ´ / |:::ヽ
     /::::/ ',   : . . :  /  |:::::::ハヽ
https://twitter.com/ibuki_air
09058644384
(deleted an unsolicited ad)

301 :
【出資】松本卓朗 人工知能詐欺【注意】
https://rio2016.2ch.sc/test/read.cgi/rikei/1560859403/

302 :
>>298
行き着く先はシミュレーション仮説ですね

303 :
AIがセンター科目で最も得意そうな科目は、やはりコンピュータだろうな。プログラミング関連の問題でも人間的な思考が必要な問題が出ると満点取れるかどうかわからんが。

304 :
>>303
プログラミングというよりソフトウェアという観点も含めたらあと10年以上は確実にかかる

305 :
数学を超えうるかという問題だが、どのみち天才的な理論は必要だと思うよ
記号論理、集合論、圏論、機械学習特に深層強化学習の知見を取り入れた上での統一理論が必要

306 :
現在のAIには、
宇宙からの謎の電波を受信出来ない。
∴人間の脳は超えられない

ボイルの法則とシャルルの法則から、
気体状態方程式を導出することすら
無理ポィ。その逆は出来そうだが

PV=P'V' ∧ V/T=V'/T' ⇒ PV=nRT
なんて、非論理的な理屈を要する

人間の持つナゾの閃きには、
宇宙からの謎の電波が必要なのだ!

謎の電波の正体は神経細胞微小管に
電気を発生させるか。謎だ。

307 :
>>302
そもそも地球から遠く離れた宇宙の果ての情報がひとつの原子のなかに全て内包されているような構造みたいだし、
人間の自由意思と呼ばれるものの実態はなんなんだろうね。まあ知りたくもないけど

308 :
どうせアルゴリズム的ランダム性だろうけど。外部存在者の意思が介在してた、と仮に言われても、「その意思の発露の規則性は?」と聞くね

309 :
人工知能は数学者になれるか?
ふうL@Fu_L12345654321
学コン1傑いただきました!
とても嬉しいです!

https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg

https://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)

310 :
3330
ふうL@Fu_L12345654321
学コン1傑いただきました!
とても嬉しいです!

https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg

https://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)

311 :
数学者になるよりも小学生になるほうが人工知能にとってはハードルが高い。

312 :
1245
ふうL@Fu_L12345654321
学コン1傑いただきました!
とても嬉しいです!

https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
https://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)

313 :
 まだ人工はむりだろうなあ」
http://o.2ch.sc/1iraw.png

314 :2019/08/23
そのプログラミングを人が入力している時点で
まだむり

ニコ生の東大数学科学生headを特定するスレ
Inter-universal geometry と ABC 予想 44
高校数学の質問スレPart404
人工知能は数学者になれるか?
ポエムはここに書いてね 2
円周率について語り合おう【π】
日本の若手数学者
あたまをよくするほうほうをおしえてください
2曲線
Putnam Examについて
--------------------
【おみくじなど】名前欄&メール欄で遊ぼう★9(IDなし)
TBS★山本恵里伽 Vol.6★Nスタ
【南アフリカ】エレベーターが1階から急上昇し26階に衝突:1名死亡 [07/03]
最近のMMOに絶望した人が次の行き先を思案するスレ432
同人誌印刷所スレ・その137
【芸能】<桐谷健太>東出昌大との連ドラ「嫌悪感抱く人も…」 視聴者気遣うも「観てくれたらありがたい」
スクリプト荒らしが2chで使うスクリプトって
「お前がラスボスかよ!?」と思ったキャラ
ソーサリアン総合スレッド SCENARIO13
【2nd】新ルパン三世専用スレ13【赤ジャケ】
【成田空港】米から入国の92人、待機要請せず検疫通過
LinPlug Rob Papen統合スレPart2
【コロナよりも】信用金庫に就職【ノルマが怖い】
ハンドボールで絶対点が入らないGK描いたやつ優勝
オマーン国 (the Sultanate of Oman) Part.1
ヤマダ電機の従業員集まれ 26人目
ヱヴァンゲリヲン新劇場版:Q アンチスレ
【期間限定スレ】CP+ 2016 【Part2】
学歴が高い人のホロスコープ
日韓断交しても残る問題 韓国の世界規模の嫌がらせ
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼