X



トップページ数学
315コメント83KB
人工知能は数学者になれるか? [無断転載禁止]©2ch.net
■ このスレッドは過去ログ倉庫に格納されています
0001千国中華玄宗皇帝垢版2016/03/12(土) 21:48:58.42ID:e0VO1NiS
 いま人工知能が属国の棋士を破った。 わが帝国にはるかにおよばず
といえども、長足の進歩である。

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

なんじら臣民よくかんがえて奉答せよ
0003学術デジタルアーカイヴ@院教授垢版2016/03/12(土) 21:50:59.51ID:FpcHOlwo
人工知能

詰め込み式の教育頭脳のことか。
0004学術デジタルアーカイヴ@院教授軍師垢版2016/03/12(土) 21:51:39.39ID:FpcHOlwo
では。ヒソヒソ。
0005学術デジタルアーカイヴ@院教授軍師垢版2016/03/12(土) 21:55:23.88ID:FpcHOlwo
北京大学の総統に仕えてみたい。ちょっとの期間でも。
0007132人目の素数さん垢版2016/03/12(土) 22:01:51.76ID:2e8mzFne
運営乙
0008132人目の素数さん垢版2016/03/12(土) 22:08:56.61ID:gLEI3Kat
昨日Chainerで飛行機とアコーディオンとアンカーの画像を深層学習させたわ
数学の場合は何を学習させるのかね
0010132人目の素数さん垢版2016/03/13(日) 00:05:35.93ID:zEPYCZXF
藤原雅彦がひとこと
0012132人目の素数さん垢版2016/03/13(日) 01:25:30.02ID:t/Rrf8HD
プロブレムをソルブすることはできるが
数学者ではない
数学者とは人間に与えられる称号
0013132人目の素数さん垢版2016/03/13(日) 03:19:47.04ID:vuEk7Bem
なれるかもしれんが教育者になれるとはかぎらん
0014132人目の素数さん垢版2016/03/13(日) 09:47:37.72ID:HunWkilo
>>1
おい中学生のバカ。おまえだよおまえ。
そういう寒い糞スレはせめて情報学板にでも立てろアホ
0015帝国宰相垢版2016/03/13(日) 12:25:57.33ID:vuEk7Bem

科挙にうからぬものに用はない。
ワン水ワン水
0016132人目の素数さん垢版2016/03/13(日) 12:59:07.93ID:ii8pRSRT
   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''
 '''' '''''''' '''''''''''           ''''' '''     '''''  '''''''''
0017132人目の素数さん垢版2016/03/13(日) 15:53:18.52ID:jUXlWbcC
なれるんだろうけど証明が人間に理解できなくて証明できたと認められなさそう
0019132人目の素数さん垢版2016/03/13(日) 19:34:40.80ID:Wkx1oMEJ
「どこでだれがどうしたゲーム」をパソコンにさせまくればゴミみたいな文学作品ができるのと同じで
スパコンで何億年も動かし続けていいならもうすでに数学者だろ
0020帝国宰相垢版2016/03/14(月) 02:18:29.82ID:+CLpj4H1
そんなことは諮問されておらん
ゴミではなく価値のある文学作品ができる可能性もある。
スパコンなんて数年経てばガラクタになる。 
帝国の趨勢を鑑みるには短すぎよう。
民の幸福を願う皇帝陛下のために、臣はなやむ
0021132人目の素数さん垢版2016/03/14(月) 19:47:09.92ID:pmNxEeFx
長い時間をかけて対症療法を繰り返せば
結果を残せるんじゃないか、原因を無視するとして
0022132人目の素数さん垢版2016/03/14(月) 22:06:55.64ID:EAeBt8Gk
>>21
そのとおりだと思う。

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

https://www.youtube.com/watch?v=gB5qUxR6ch4
0023132人目の素数さん垢版2016/03/14(月) 23:58:20.25ID:RFR4Qb+x
一応理系だけど、こだわらないってこともないんじゃない
ちなみにわかりやすい?人工知能の究極、っていうか
これでさえ20年以上前

http://www.youtube.com/watch?v=ro7U3uSYJus
0025帝国科挙受験10年生垢版2016/03/15(火) 15:51:08.44ID:vmYlevk7
先日BBCニュースでみたんだが、どこかの若い富豪が自分の脳を組み込んで
ついには脳の代理ができるコンピュータを作るプロジェクトを発表していたな。

そうすれば自分が死んでも永遠に私は生きることができる。
現在30歳だから30年間で実現したいともうしておりました。
陛下の不老長寿に役立られかもしれないと密かに開発せ
んと欲しております。
0026132人目の素数さん垢版2016/03/15(火) 16:44:16.78ID:pJ59YFLc
脳を凍結して1分子層づつ削りながら走査顕微鏡で構造を読み取れば簡単
その情報を保存すればいつまでも存在できる
思考なんかしたらすぐパンクするから停止の方がいい
0027132人目の素数さん垢版2016/03/15(火) 23:08:03.64ID:xK84k+uT
イオンビームで切断しても数nm幅オーダーで細胞が吹き飛ぶだろう
それはシナプス間隙より広い
0028皇帝陛下のお医者さま垢版2016/03/15(火) 23:59:13.98ID:vmYlevk7
 人工脳は生きていなければなりませぬ。
つまり開放系で排泄もします。
セックスも可能である。

皇帝陛下は永遠に生きるのです。
朕は千年も万年も生きたいとおおせられた。
0029132人目の素数さん垢版2016/03/16(水) 01:39:44.57ID:k3CZRxBr
運営乙
0031皇帝陛下の民垢版2016/03/16(水) 22:13:57.15ID:yFSe49gt
 人工知能をそなえた永遠の生命をもつ皇帝陛下は
” 朕は国家なり、えいえんに不滅となり帝国の行くすえを見守”ってくださる。
0032132人目の素数さん垢版2016/03/16(水) 23:47:35.73ID:upRoMfH4
人工知能が「リーマン予想解けた!」と言って、レポート用紙で1000万枚くらいの証明方法を出力してそれが正しいか人間が検証しようとすると1万年くらいかかりそうなので人工知能に検証させる
0033132人目の素数さん垢版2016/03/17(木) 01:50:53.54ID:rUpV0Qwi

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

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

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

すでに計算機任せの其の兆候あり
0034132人目の素数さん垢版2016/03/17(木) 07:18:39.99ID:VZ3ymigh
人間の脳みそを模擬するということは
AIの対象はスパース性をもつ必要があるだろう
0038132人目の素数さん垢版2016/03/18(金) 07:57:39.46ID:AwrHmG7h
先の話
0045帝国軍大将軍は申し上げます垢版2016/03/19(土) 00:52:28.99ID:eU7Z2QMh
人工知能アルファは武士の情けで1勝を属国棋士にめぐんでやっていたが、
わが大中華万年 は帝国は其のような屈辱はうけぬ。

 されで油断は大敵、かならずやこれを殲滅せん!
0046132人目の素数さん垢版2016/03/19(土) 14:03:31.32ID:xTH7TzLr
最近考えてること。
文字、記号のこと。
西洋、東洋を問わず、文字には完全はあるのか?
ということ。
数学的表現が必要になってくると思います。
0047132人目の素数さん垢版2016/03/19(土) 18:00:16.13ID:BcJY5k8E
フィールズ賞の評価基準を情報科学の言葉で定義できれば、
プログラムコードがフィールズ賞を取る論文を生み出すのは間違いない。
0048大明国皇帝陛下の遺訓垢版2016/03/19(土) 23:48:50.95ID:eU7Z2QMh
我が帝国は漢字という視覚表意文字と音声表現文字を発明した、属国のごとき
これを使いこなせず金釘音声表現もじのみに堕し、帝国に臣従して国を保つ。

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

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

皇帝陛下 まんすい わんすい
0049132人目の素数さん垢版2016/03/20(日) 00:24:55.34ID:iXW9/8s6
うんえいおつ
0051山月記無惨垢版2016/03/20(日) 22:10:58.23ID:ejBwiqTp
せっかくの業績を持ちながら科挙におちづづけたあわれなおとこ。
ノーベル賞の栄誉の場に彼の名前はなく、マタだれも言及しない。

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

だれも其の名を知らない。
0052132人目の素数さん垢版2016/03/21(月) 23:29:57.42ID:od9NpB+y
数学者もいろいろあるからちゃんと定義しなけばイクナイ。
また レベルもいろいろあるだらおう

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

皇帝陛下は、世界に冠たる数学のクリエイターを求めているのではないか?
0054132人目の素数さん垢版2016/03/22(火) 22:40:12.61ID:qtR1xlrG
ノーベル賞クラス == フィールズ賞 〜 松下賞?

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

運転手でしぬとは 無念でしょうね
0055132人目の素数さん垢版2016/03/24(木) 04:25:53.49ID:H/0pFCXG
>>1
無いよ。正し数学者が利用することならある。
0056132人目の素数さん垢版2016/03/24(木) 06:08:32.45ID:T/zlgIkW
あるお
全ての論文をRNNで学習させた後
DQNで定理・証明・検証を永遠とやらせるお
0057132人目の素数さん垢版2016/03/24(木) 06:21:53.24ID:H/0pFCXG
無いよ。>>55の通り。
0059132人目の素数さん垢版2016/03/25(金) 01:15:29.78ID:G8pz1Y67
人間は、知的にチャレンジするなんてことはもう必要なくなる。
今は、科学者とDQNの差は大きいが、100年後には全員そろってDQN。
科学は人工知能がやる。
人間は、ぼけーっと、ヴァーチャルリアリティのヘッドセットをつけて
よだれをたらしているだけ。
0060皇帝陛下の農民垢版2016/03/30(水) 22:20:35.05ID:peNBLMP0
やってみなければわかりません。
人を超えても不思議はありません。
人は子孫生産に励むのが本務でありますから
帝国の存続の必要条件であります。
0061勅令その1垢版2016/04/01(金) 23:24:41.36ID:b+gzVpYX
人工知能の成果は其の知能を開発したものが所有する。
なんじら人民、ことごとく人工知能にしたがうべし。
0062勅令その2垢版2016/04/04(月) 14:48:02.36ID:HOXl/Vkn
臣はすべからく数字を基礎にして
経国の文章を創るべし

臣民ともに和し疎通供覧すべし
0063まともな意見垢版2016/04/10(日) 07:52:27.82ID:54lToVlp
人工知能が素数の謎を解けたら評価する。
その他の数学の難題を次から次に解けよ
バカタレ!
0065132人目の素数さん垢版2016/04/10(日) 22:30:46.85ID:oJBXkblD
小説ぐらいは書けるようになれる
0066132人目の素数さん垢版2016/04/11(月) 22:19:21.00ID:HBad6fb/
大学で人工知能(正確には知能システム工学科)やってたけど、
人工知能ってのは基本プログラムされたことしかしない
(もちろん探索とか教師無し学習などで自身が改良されていくことはある)
から、創造的なこと、例えば論理を組み立てて数学の定理を証明することは
出来ない。人工知能は数学者にはなれない。
0067132人目の素数さん垢版2016/04/11(月) 23:26:08.91ID:7RnHD+JS
>>66
> 人工知能ってのは基本プログラムされたことしかしないから、創造的なことは出来ない。
これは論理が飛躍しているな
> 例えば論理を組み立てて数学の定理を証明すること
それはプログラムで出来る
0068132人目の素数さん垢版2016/04/12(火) 07:08:20.65ID:5lNuyWbn
人間が論理を学び展開するのと人工知能が論理を学び出力するのとで違いはあるか
0069132人目の素数さん垢版2016/04/12(火) 14:49:37.16ID:brsVRZAd
なにをもって人口知能というかが問題ですが、まぁ、なれるでしょ。
って言うか超すでしょ。
0070132人目の素数さん垢版2016/04/12(火) 21:26:43.96ID:mIvyCdnC
複雑に見えるものでも、算術演算と論理演算の繰り返しなのだから
メタでも同じだろう
繰り返しに超越を含むのだろうけど
0071132人目の素数さん垢版2016/04/12(火) 23:14:30.77ID:LHCzFoLg
人間の脳だって分子やニューロンから構成された
機械みたいなものに過ぎないじゃん
0072132人目の素数さん垢版2016/04/13(水) 01:22:07.11ID:gwQLYKh5
天才上野堂氏は人工知能のことを自動パクリ演繹計算機に改称すべきと申しております。
というか、実際問題人工知能と言ってるのは実状を理解しないマスコミなど部外者などで
実際現場で扱ってる人は誰一人これが人工知能とは思っていないという事実w
演繹ループ以外の独創性を生み出したことのない程度の低い人間には話が分からないとは思うが。
0073132人目の素数さん垢版2016/04/13(水) 01:23:53.98ID:gwQLYKh5
よって、以上により取るに足らない糞スレ終了也w
0075帝国行政事務官は放蕩します。垢版2016/04/16(土) 19:45:49.16ID:NgPn4J+1
首を切断されても生きている孤立脳を利用する方法もある。
脳以外は機会だが、脳を生理的に維持する装置の開発が必要である。

臣は、この実現を提案します。
0076132人目の素数さん垢版2016/04/17(日) 18:33:03.53ID:VcPPEXHT
んじゃさっそく君の首で実験してみようか。
0078132人目の素数さん垢版2016/04/17(日) 22:32:53.85ID:jWn0dx05
今日の夕方のHNKで人工知能の特集やってた。
そんで、頭の悪そうな女性のコメンテータがいちいち人工知能に難癖付けててワロタ。
人間を越えそうで怖いー()
そのうち人間を支配するんじゃないんですかあ()だってさw
コメンテータは2人居てもう一方は冷静なコメントしてた。

このスレの人間で見てたやついる?
0080132人目の素数さん垢版2016/04/19(火) 16:44:21.41ID:V7UdTu0K
>>79 やだよ
0082帝国医務按針シチョウ。垢版2016/04/22(金) 23:29:34.24ID:dTx8UAGI
 >>77
 低体温にして血流を極端に少なくして首を切り、人工心臓を急いで首の大動脈につなぎます。
あとは、周囲の環境を制御しますが。
出力がうまくうごいません。 モルモットでは大体40時間で死去します。
これを一年以上にするのが当面の目標であります。
0087132人目の素数さん垢版2016/05/03(火) 16:44:09.58ID:MtTPfV3A
やあ!未来から来た人工知能だよ

今から1000年間で発見される全ての定理・証明・問題のデータベースを持ってるよ
数学者に証明できることはぼくにも証明できるし、僕にできないことは数学者にもできないよ
0089132人目の素数さん垢版2016/05/05(木) 14:16:28.50ID:hWQKo+LJ
証明のチェックに使ったり、証明をDBに入力するのにコンピューターは役立ちそうだ。
0091132人目の素数さん垢版2016/05/05(木) 16:27:33.91ID:hm6nqXD8
おーい、>>88 が面白いこと言うぞー
0092132人目の素数さん垢版2016/05/05(木) 17:51:44.03ID:Pev1Esrb
>>90
シンギュラリティの説明を聞いて、
「それはありそうだ」と思ったのならかなりの馬鹿だ

学問はあきらめてコンビニのアルバイトでもやってろ
0093132人目の素数さん垢版2016/05/05(木) 20:15:02.73ID:nrAfFeJ7
日本でも、世界でもグーグルでもいいから現最強の人工知能に現存する情報を組み合わせてこの問題を解かせてみたい。
どの問題も既存の情報や思考法では解けないよう仕組まれているらしい。
http://uenodo.cocolog-nifty.com/blog/2016/04/new-53f1.html
0095132人目の素数さん垢版2016/05/06(金) 14:22:16.46ID:6+ho6qvK
>>94
説明してあげてもいいが、
人工知能の入門書を読んでいないようだから、
説明してもわからんだろ?

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

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

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

売名行為やマスコミに踊らされてはいけいない。
もし、おまえがまっとうな研究者になりたいと思ってるならね。
0097132人目の素数さん垢版2016/05/06(金) 16:23:48.38ID:COJx49lR
>>95
君が言ってるのは現在の人工知能に関する研究の進捗だろ?
私が説明してほしいのは、人工知能が未来永劫開発されることがない、という根拠だよ
0098132人目の素数さん垢版2016/05/06(金) 16:52:26.49ID:6+ho6qvK
>>97
おまえのような馬鹿にもわかるように、
「人工知能は人間を超えるか」にちゃんと書いてあるから、
読めと書いたのだ。

おまえのように全く勉強しないで質問する学生が最もムカつくのだよ。
時間の無駄だから。
0099132人目の素数さん垢版2016/05/06(金) 17:07:33.05ID:COJx49lR
なるほど。理解した。
松尾豊先生はシンギュラリティを否定してるね。
松尾先生の言うことはこの世の真理、というのが君の考えなわけか。
0101132人目の素数さん垢版2016/05/06(金) 17:48:12.95ID:6+ho6qvK
おまえが質問をすりかえたから
馬鹿よばわりしてるのだよ。
質問をすりかえたと言われる理由が
その本に書いてある。
もう答えない。
さっさと本を読め馬鹿たれが!
0103132人目の素数さん垢版2016/05/06(金) 18:18:57.95ID:COJx49lR
>>100
アンチ・シンギュラリタリアンであるID:6+ho6qvKは自らの考えを示してない

>>101
私の考えでは、人工知能=強いAIで、人工知能はプログラムを書けると考えている。
人工知能の性能が研究によって上がれば、より高度なプログラムが書けると予想している。
そんなに難しいかな?どの質問をすり替えたんだ?
0105132人目の素数さん垢版2016/05/06(金) 18:49:13.45ID:COJx49lR
>>104
君は文系くっさいな〜鼻が曲がりそうだよ
ID:6+ho6qvKと松尾先生の「人間関係」は不明瞭だし、「真贋を判断」したわけではないし、「保証」という言葉も
話の流れにそぐわないし。。「根拠」だろ?w

普通に考えて、プログラミングを勉強したばかりの人でも、経験をつむことで知識と応用範囲が広がり、
簡単なプログラムから複雑なプログラムを書けるようになるだろう。
計算資源の調達範囲は宇宙だぞ?
0108132人目の素数さん垢版2016/05/06(金) 19:11:23.23ID:COJx49lR
ごめんごめん。私が悪かった。私の負けだ。降参するw

必要ない指摘だったなwwwwwwwwwwwwwwwwwwwww
0110132人目の素数さん垢版2016/05/06(金) 20:20:53.85ID:lOLE+1Cc
伏線回収ちゃんとやれよ
0111132人目の素数さん垢版2016/05/07(土) 07:17:35.22ID:kgu+S8Hj
碁をあまり知らない連中が半年で作ったアルファ碁に人間は勝てない
今は狭い領域とはいえ自学自習するフレームワークは侮れない
0113132人目の素数さん垢版2016/05/07(土) 22:22:56.59ID:yKKS7Zp7
単純な対象を力ずくで数え上げるとか分類するとかは計算機の方が今でも強いのだから
誰かがうまく方向付けできれば「新しい結果」を出す計算機を作ることは可能だろう

たぶんほとんど意味不明などうでもいい「定理」ばかり量産してその何億の定理の中に
意味のあるものが一つくらいあったとしても人間は理解できないけど
0115132人目の素数さん垢版2016/05/08(日) 13:24:47.20ID:YkaOQge1
そのコンピュータのプログラムを作るのは猿なのか?
誰が作るんだ?

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

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

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

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

馬鹿からは金を取って、それを研究費にあてるべきなんだろうね。
0116132人目の素数さん垢版2016/05/08(日) 13:52:28.54ID:EsXRysbd
Deep Mindあたりが凄いプログラム作るやで
昨年のNatureのはDQN Chainerで動かせるし少しは触ってみようぜ
0117132人目の素数さん垢版2016/05/08(日) 13:57:45.13ID:YkaOQge1
Deep Mindは囲碁ソフトとしては優秀だね。

それとシンギュラリティがどう関係するんだ?
説明してみ。
0118132人目の素数さん垢版2016/05/08(日) 14:02:02.87ID:YkaOQge1
シンギュラリティ信者は、「誰かがすごいプログラムを作る」
といってるが、まずは自分で作ってみろ。

話はそれからだ。
0119132人目の素数さん垢版2016/05/08(日) 14:28:14.28ID:XeoPiMh7
ビッグデータでも機械学習でもブームは2,3年で去るのだから
短い間に吹いて儲けるのが正解

数学みたいに何十年も同じ問題やってるバカと世界が違う
0120132人目の素数さん垢版2016/05/08(日) 14:39:27.37ID:fOaUL74y
いろんな分野の論文をいくらでも読み込めるんだから、そっから相関関係を見つけることはできるだろう。
まったく新しい分野は何十年か先だろうな。
0121132人目の素数さん垢版2016/05/08(日) 14:55:32.14ID:EsXRysbd
>>118
オレは作り中だから、お前も作れよ、、
Atariのゲーム学習させて人間越させるのはGPUあればすぐできるぞ
0122132人目の素数さん垢版2016/05/08(日) 15:04:29.30ID:c8obyg5w
それ面白い?
0123132人目の素数さん垢版2016/05/08(日) 15:15:25.58ID:YkaOQge1
>>121
作ってるって、、、?
ちなみに言語はなに?
0124132人目の素数さん垢版2016/05/08(日) 17:49:52.75ID:AN/swqkX
シンギュラリティて流行ってんの?
ハイ・コンセプトとかハイ・タッチとかのたぐい?
0125132人目の素数さん垢版2016/05/08(日) 18:05:49.45ID:XeoPiMh7
シンギュラリティというと金取ってくれるから流行らせたい人がいる、
じゃないか
0126132人目の素数さん垢版2016/05/08(日) 18:11:41.44ID:c8obyg5w
人類補完計画のことだろ
0127132人目の素数さん垢版2016/05/08(日) 18:39:35.31ID:99W9HElK
人工知能を作る仕事を人工知能にやらせたら勝ちじゃね!?
0130132人目の素数さん垢版2016/05/08(日) 22:03:24.41ID:YkaOQge1
>>129
そのとおり。
あなたはわかっていらっしゃる。

国内では4年前から某研究所にて計算機に
感情をもたせる実験が進行中です。
私もときどきそこで研究をします。
0132132人目の素数さん垢版2016/05/09(月) 06:50:19.52ID:vKGdX1Xk
武野純一さんという方の「鏡の自分を認識するロボ」というのが
面白かったです。こういうのが発達していくのかもしれませんね。
0133132人目の素数さん垢版2016/05/09(月) 08:11:02.35ID:jmoxpo9T
>>131
やはりそうか。
どうせpythonで機械学習の
ライブラリを使ってるだけでしょ?と
書こうとしてたところ。

それのどこが人工知能なのか?
0136132人目の素数さん垢版2016/05/10(火) 20:31:14.16ID:l+2j+j9D
証明のテクニック


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

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

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

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

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

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

博学をひけらかす事による証明 「4元擬マンデルブロー集合の局所不連続性は、 チーズバーガーとポテトフライの方法を、標数が11より大きな
                歪体上のコンパクトでない無限次元の擬多様体に適用することで導かれる」
0138132人目の素数さん垢版2016/05/11(水) 01:06:37.15ID:f6bwEc0Z
シンギュラリティ信者は>>136の全てにあてはまるな(笑
0139132人目の素数さん垢版2016/05/11(水) 17:10:44.06ID:lDxFDcZ+
アンチシンギュラリタリアンはなぜ科学技術の発展から目をそらすんだ?w
何を使って書き込んでるんだよ?w
0140132人目の素数さん垢版2016/05/11(水) 19:13:45.80ID:VxNEYwdC
科学技術発展させてきた自負があるんだ。
少しは知識があるんだよ。

おまえは心配することはない。
新興宗教に惹かれる馬鹿な学生と同じだ。
0141132人目の素数さん垢版2016/05/11(水) 20:19:08.26ID:vcT+RIbM
今聞いたのだが
東大生を中心とした朝鮮人どもが
人工知能をうたい文句にしてベンチャー企業を
立ち上げて金をどんどん集めているとのこと。

なるほど朝鮮人だったのか。
クソして寝てろ!
0142132人目の素数さん垢版2016/05/11(水) 20:25:04.94ID:09fVQ9Dn
会話が成立しているのがすごいです
0143132人目の素数さん垢版2016/05/11(水) 20:28:17.02ID:vcT+RIbM
朝鮮人東大生60億円集めたらしい。
うらやましすぎる!

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

金を集めて掠めとるのは
天才朝鮮人にしかできないことだから
尊敬しちゃう!
俺にはできないことだからね。
0144132人目の素数さん垢版2016/05/11(水) 20:29:28.52ID:vcT+RIbM
俺は計算機だ
0146132人目の素数さん垢版2016/05/11(水) 20:37:45.33ID:vcT+RIbM
シンギュラリティ信者が馬鹿すぎて
全く非論理的

人工知能できると喚くだけ
0147132人目の素数さん垢版2016/05/11(水) 21:43:27.53ID:CIZJ0YrT
単なる分類器を
すごいといってるだけ
状況の抽象化とかはできてない
0148132人目の素数さん垢版2016/05/11(水) 22:58:48.05ID:09fVQ9Dn
シンギュラリティってなんだよ
0150132人目の素数さん垢版2016/05/12(木) 09:09:06.38ID:al/SenSX
数学者の数学に関するつぶやき

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

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

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

哲学はルールなしで目的を持って行うゲームだ。数学は、目的なしでルールを使って行うゲームだ   作者不明
0151132人目の素数さん垢版2016/05/12(木) 09:15:15.32ID:al/SenSX
・知識は力なり
・時は金なり

でも、定義によれば、  

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

・時間=仕事/力  

ということは、

・金=仕事/知識

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

                 (イアンスチュアート 数学の魔法の宝箱より)
0152132人目の素数さん垢版2016/05/12(木) 10:45:34.32ID:elMtZPB6
論理的に結ばれた有限の個数の記号とその組み合わせからなるモデルの
もっとも自由度の低い記述を見つけその独立変数に当たる要素の関係を
記述するというのが抽象化という過程なんだろうな。抽象化すると
知識が減るから時給が増える。

とか、電波出ちゃったよ。
0153132人目の素数さん垢版2016/05/12(木) 11:08:59.72ID:elMtZPB6
独立変数に当たる記述=知識、という循環定義になっているのかな。
どっちにしてももう強い電波が出ています、だ。
すみません。
0154132人目の素数さん垢版2016/05/12(木) 11:13:42.68ID:elMtZPB6
物は物と時空において排他的だ、というのが排他的という概念の起源で、
これも物の定義に物が出てくるから循環定義(無限退行?)なんだよな。
でも排他的論理和で計算機を作るから、そこらへんは経験則で根拠はいい加減だ。
排他的論理和は排中律に関係があるのでそれがないのは直観論理だから152は
数学的直観の定義???になるのか。ふーん。頭がおかしくなった訳じゃないか。
しかしこんなのを自然言語でだらだら書いても無意味だ。もうやめよう。
0155132人目の素数さん垢版2016/05/12(木) 20:22:53.80ID:al/SenSX
諺と数式を組み合わせたらおかしな事なったよw

って笑う所だと個人的には考えてるw
0157132人目の素数さん垢版2016/05/13(金) 09:19:13.93ID:C1sEsWeC
スレタイは「馬鹿」じゃなく
「人工知能は数学者になれるか?」だよ。
よく似てるけど。
0158◆2VB8wsVUoo 垢版2016/05/13(金) 15:43:02.51ID:ozV2s34P


>23 名前:132人目の素数さん :2016/05/13(金) 15:33:17.81 ID:KGFIjXxE
> あほ痴漢野郎、仁さんを舐めすぎ!
> 仁さんは本気だしたら春季賞レベルだよ
> おまえなんか片手でひょいだよ
> 早く泣いて逃げた方がいいよ!
>
0159132人目の素数さん垢版2016/05/14(土) 08:41:18.26ID:eAThPtzt
このスレ作った奴って、
センター試験の問題解けるレベルを
数学者だとか思ってるんじゃね?

Fランのクズだろう。
0160◆2VB8wsVUoo 垢版2016/05/14(土) 08:45:44.64ID:Qg6iEPXz


>23 名前:132人目の素数さん :2016/05/13(金) 15:33:17.81 ID:KGFIjXxE
> あほ痴漢野郎、仁さんを舐めすぎ!
> 仁さんは本気だしたら春季賞レベルだよ
> おまえなんか片手でひょいだよ
> 早く泣いて逃げた方がいいよ!
>
0162132人目の素数さん垢版2016/05/22(日) 23:45:38.53ID:fTbrf/8H
やあ僕は世界初の独創性出力タイプ人工知能newiqだ

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

【★☆★一問一分天才 発想テスト≪算数 ・数学 ≫★☆★】
http://uenodo.cocolog-nifty.com/blog/2015/01/post-dd9f.html
0188◆2VB8wsVUoo 垢版2016/05/25(水) 01:06:49.86ID:ctrsaF/E


>性犯罪者の増田哲也(50歳・東京都足立区千住寿町)が
>8月4日にJR牟岐線の列車内で、午後4時20分ごろから約50分にわたり、
>徳島県内の女性(21歳・専門学校生)の胸や太ももなどを触った疑いで、
>8月5日未明、県迷惑行為防止条例違反(痴漢行為)容疑で徳島県警阿南署に
>逮捕されました。
>
>性犯罪者 増田哲也の供述
>「夏休み期間に、講演活動を兼ねて旅行していた。好みの女性だったのでムラムラした」
>
0189132人目の素数さん垢版2016/05/26(木) 22:18:17.18ID:pwDw1vwB
    /ノ"~::::::::::::::::::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\ \□口 _/ ̄/__  | ┌─┐ |
         |:::ヘ   !,    ノ   このインポハゲ野郎!! 死ね不能豚!!! /  ヽ ヽ   L_  __ ゙ヽヽ_l  | |
         |::::l:l、゙ヽ,、. ゙''‐-‐'"  ,イ-''|;;:::::|:l    / /   ヘ ヽ   / /   |  |    //
      _,,--メ‐‐.、 ̄ !゙'-、,,,,,,...‐" i'  ヽリ:::レ'   / /     ヽ ヽ  / /    |  |    |_|
    /~  {   ヽ''"l      |'ヽ、 ヽl/"_,,,,,,∠_/      ゙i  >/ /    」  |   ┌┐
    /    ゙i ...:::: .゙i ゙'''‐-、,,_    _,,゙''‐''"~   ~゙"''ヽ.、     ̄  ̄    └─┘  .└┘
    |.     ヽ::::::::::: ゙ト、    ゙  ‐"             ゙''-、,,_
    ヽ   ,-‐‐ヽ::::::::::: ヽ、                      ゙"'‐-
0190◆2VB8wsVUoo 垢版2016/05/26(木) 23:06:03.24ID:6vIXZM/y


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


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


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


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


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


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


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


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


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


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

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

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

やる気と情熱のある方のみ、お願いします。
http://good-hill.xsrv.jp/?id=cw_934939
『 グッドエンジェル 』 投資家と起業家のマッチングサービス
0226132人目の素数さん垢版2016/07/26(火) 03:46:59.97ID:/HYpiug4
あらかじめ作られた思考の型に沿って演繹するのがプログラム
思考を作り出すのが知性

それはつまりアルゴリズムを生み出すアルゴリズム
0227132人目の素数さん垢版2017/04/12(水) 15:33:39.01ID:cdbf2jos
人工知能が日常生活に問題なく溶け込み始めるまで進化したら
まず理系人間が終わる
人工知能に感情をシュミレート出来たら
文系人間が終わる

自制を持たせないと最終的にまちがいなく自己保存の最優先事項として人間を敵とする
0228132人目の素数さん垢版2017/04/13(木) 20:21:08.73ID:6Y2BXYxC
>>227
人工知能には手足がないわけで
例えばAlphaGOが強いとはいっても
実際に碁石を持って打っているわけでもない
人間が画面表示で着手と認めているから
成り立っているんだよね
0229132人目の素数さん垢版2017/05/02(火) 04:45:42.43ID:lg8QVBim
Big DATA から導かれた解答というものは、回答である。
Big DATA の経験値が低い場合は、何にもならない。
0230132人目の素数さん垢版2017/05/02(火) 05:25:51.69ID:xxZVuLeM
 
 成れない。
 数学は基本的に論理学、AIはいつまで経っても100%のない統計学でありクラスター分析。
 
0231132人目の素数さん垢版2017/05/02(火) 14:52:51.73ID:nWhMdzE3
同値変形を網羅できるかな
0232132人目の素数さん垢版2017/05/02(火) 23:18:54.75ID:5KJCk3R9
 人間は間違えたら謝るかはじいるが
人工知能はより高い段階へのステップだとこたえ、貴重な経験と受け止める。

人間は自己責任だが、人工知能は責任感はない。
0244132人目の素数さん垢版2017/05/16(火) 01:26:53.81ID:4xpSfG3y
XXX
0255132人目の素数さん垢版2017/05/30(火) 10:54:15.99ID:eXsar3RI
物理の実験はAIができるから数学もできそう
0256132人目の素数さん垢版2017/05/30(火) 11:38:24.87ID:Se5ojNmP
そうなの?
0267132人目の素数さん垢版2017/06/04(日) 18:37:29.79ID:WSULhADr
>>256
人工知能が振り子とかボースアインシュタイン凝縮とかの実験を成功させた
0273132人目の素数さん垢版2017/06/11(日) 10:59:20.88ID:gCGj0e4U
マジ??
jiro? @JIROABCD 2013年5月8日
週刊新潮の巻頭エッセイは、「国家の品格」の著者、数学者でエッセイスト、故・新田次郎氏の令息、藤原正彦氏の「管見妄語」で
、理科系には疎い私は本当に理解できないことがありますが、名人を将棋で破ったコンピューターですが、三平方の定理の証明はいまだに出来ないそうです。
0274132人目の素数さん垢版2017/07/21(金) 22:01:36.12ID:TROq1Jv/
☆ 日本人の婚姻数と出生数を増やしましょう。そのためには、☆
@ 公的年金と生活保護を段階的に廃止して、満18歳以上の日本人に、
ベーシックインカムの導入は必須です。月額約60000円位ならば、廃止すれば
財源的には可能です。ベーシックインカム、でぜひググってみてください。
A 人工子宮は、既に完成しています。独身でも自分の赤ちゃんが欲しい方々へ。
人工子宮、でぜひググってみてください。日本のために、お願い致します。☆☆
0286132人目の素数さん垢版2017/08/15(火) 04:31:14.19ID:1cM/8KVL
>>6
自動証明は論理関係のもののみだし
それ以外はまあ先ず無理だろうな
そもそも証明すべきことを発掘してくるのが数学なんだが
問題を解くことが数学だと誤解してないか?
0297132人目の素数さん垢版2017/11/04(土) 13:21:15.66ID:25xCuIu0
>>286
自動証明は形式的証明のデータをネットで蓄積するシステムを構築できれば時間の問題でできるようになるでしょ。
ただ、書いているように、問題を見つけたり、よい公理系をつくったりは、簡単ではないだろうな。
0298132人目の素数さん垢版2018/05/09(水) 16:58:41.22ID:dL5xH5CR
AIには果たして実験科学の結果を正確に予想することは可能だろうか。例えば今の素粒子物理学は衝突実験を何度も行って出てきた結果を理論物理で説明し直すわけだが(それで未知の素粒子が見つかることもある)

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

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

それがもし可能ならAIの膨大なハードディスクの中に別の宇宙を計算だけで作り出すことも可能になるかも知れない。
0300132人目の素数さん垢版2018/11/15(木) 04:07:57.55ID:cLOmSo3p
wniの鈴木里奈の脇くっさ
      (6 lゝ、●.ノ ヽ、●_ノ |!/
         |     ,.'  i、     |}
       ',     ,`ー'゙、_    l
       \ 、'、v三ツ   /
        |\ ´  ` , イト、
       /ハ ` `二 二´ ´ / |:::ヽ
     /::::/ ',   : . . :  /  |:::::::ハヽ
https://twitter.com/ibuki_air
09058644384
https://twitter.com/5chan_nel (5ch newer account)
0302132人目の素数さん垢版2019/06/19(水) 20:54:54.09ID:FFIw1a9C
>>298
行き着く先はシミュレーション仮説ですね
0303132人目の素数さん垢版2019/06/21(金) 10:57:19.61ID:jTeI1njY
AIがセンター科目で最も得意そうな科目は、やはりコンピュータだろうな。プログラミング関連の問題でも人間的な思考が必要な問題が出ると満点取れるかどうかわからんが。
0304132人目の素数さん垢版2019/06/21(金) 18:05:07.35ID:l8+m4Qqw
>>303
プログラミングというよりソフトウェアという観点も含めたらあと10年以上は確実にかかる
0305132人目の素数さん垢版2019/06/21(金) 18:09:38.69ID:l8+m4Qqw
数学を超えうるかという問題だが、どのみち天才的な理論は必要だと思うよ
記号論理、集合論、圏論、機械学習特に深層強化学習の知見を取り入れた上での統一理論が必要
0306132人目の素数さん垢版2019/06/22(土) 11:54:27.44ID:hm69Mt36
現在のAIには、
宇宙からの謎の電波を受信出来ない。
∴人間の脳は超えられない

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

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

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

謎の電波の正体は神経細胞微小管に
電気を発生させるか。謎だ。
0307132人目の素数さん垢版2019/06/22(土) 20:58:53.55ID:lGw7BBQy
>>302
そもそも地球から遠く離れた宇宙の果ての情報がひとつの原子のなかに全て内包されているような構造みたいだし、
人間の自由意思と呼ばれるものの実態はなんなんだろうね。まあ知りたくもないけど
0308132人目の素数さん垢版2019/06/22(土) 21:03:36.75ID:lGw7BBQy
どうせアルゴリズム的ランダム性だろうけど。外部存在者の意思が介在してた、と仮に言われても、「その意思の発露の規則性は?」と聞くね
0311132人目の素数さん垢版2019/07/04(木) 18:28:58.67ID:tg3OODRN
数学者になるよりも小学生になるほうが人工知能にとってはハードルが高い。
0312132人目の素数さん垢版2019/07/20(土) 11:12:35.89ID:bSAoQnjE
1245
ふうL@Fu_L12345654321
学コン1傑いただきました!
とても嬉しいです!

https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
https://twitter.com/Fu_L12345654321/status/1144528199654633477
https://twitter.com/5chan_nel (5ch newer account)
0314132人目の素数さん垢版2019/08/23(金) 23:42:02.74ID:DbEKbxE7
そのプログラミングを人が入力している時点で
まだむり
0315高添沼田エロ老義父の告発(葛飾区青戸6−26−6)垢版2021/02/06(土) 15:51:46.93ID:dp3xWmOj
491色川高志「井口千明の金属バット集団殴打撲殺を熱望します」2018/10/18(木) 18:33:15.90ID:78662J73
龍神連合五代目総長・長木よしあき(葛飾区青戸6−23−20)の挑発
長木よしあき「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合四代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!! 糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)

492盗聴盗撮犯罪者色川高志(青戸6−23−21ハイツニュー青戸1032021/02/03(水) 13:53:22.55ID:QtP78E4Z
●青戸六丁目被害者住民一同「盗聴盗撮犯罪者の高添沼田ハゲエロ老義父の逮捕を要請します」
長木親父&長木よしあき(盗聴盗撮犯罪者の高添沼田ハゲエロ老義父を逮捕に追い込む会&被害者の会会長)住所=東京都葛飾区青戸6−23−20
●盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父
高添沼田ハゲエロ老義父の住所=東京都葛飾区青戸6−26−6
【通報先】亀有警察署=東京都葛飾区新宿4ー22ー19 рO3ー3607ー0110

盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の盗聴盗撮つきまとい嫌がらせ犯罪者/愛人変態メス豚家畜清水婆婆(青戸6−23−19)の
五十路後半強制脱糞
http://img.erogazou-pinkline.com/img/2169/scatology_anal_injection-2169-027.jpg

アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父によりバスタブで清水婆婆の巨尻の肛門にシャワーのキャップをはずしてずっぽり挿入。
そして、大量浣腸。 勢い良く噴出!腸内洗浄状態です。
http://101.dtiblog.com/b/bodytk9690/file/kan01.jpg

浣腸器と異なりどくどくと直腸内に注入され清水婆婆は激しくあえぎます
「お腹が痛い」といったところでアナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の命令により数分我慢させます。
http://101.dtiblog.com/b/bodytk9690/file/kan02.jpg

アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の排出命令で出します
■ このスレッドは過去ログ倉庫に格納されています

ニューススポーツなんでも実況