19/01/29 17:56:28.18 l8/RRrb9.net
こんな感じで自明なはず
URLﾘﾝｸ(o.8ch.net)
201:ニュースソース検討中＠自治議論スレ
19/01/29 18:10:46.06 l8/RRrb9.net
>>197
非自明な0点とは複素数では１の事だからそこに収束してるのは
1以上の数で収束するという事からも自明の理
202:ニュースソース検討中＠自治議論スレ
19/01/29 18:43:37.20 l8/RRrb9.net
4π^2の半分が19.7
上に19.7、下に19.7
真ん中が19.7
全部足すと複素数が出てくるから、その半分が約29で素数
URLﾘﾝｸ(o.8ch.net)
203:ニュースソース検討中＠自治議論スレ
19/01/30 00:03:03.72 fE8U759C.net
有限個の例外があったらどーなる？ あんま違いはないような気がしないでもないが
無限に例外があるが比率が正の有限値にならない程度にスカスカな場合はどーなる？
そんなに重要なもんなのかな
条件ガバガバだと他の証明にあんま役に立たなさそうではあるけど
204:ニュースソース検討中＠自治議論スレ
19/01/30 01:24:37.91 dCJ2c7m+.net
>>200
少なくとも4割は実部1/2の線上に乗ってるってところまでは証明されてた気がする
205:ニュースソース検討中＠自治議論スレ
19/01/30 06:18:21.79 95RCWYyD.net
>>94
馬鹿の見本みたいな意見だな
206:ニュースソース検討中＠自治議論スレ
19/01/30 08:07:53.58 X16DCq49.net
>>94
なんか猿が落書きしてるような書き込みだなお前の書き込みってｗ
207:ニュースソース検討中＠自治議論スレ
19/01/30 08:08:27.72 X16DCq49.net
>>191
お前の臭いじゃね？
208:ニュースソース検討中＠自治議論スレ
19/01/30 08:26:20.65 lEdEWaKu.net
>>182
AIは数学の証明はしないよ。
ブードゥーってどういう意味？
奴隷防衛の歴史に準えてるの？
209:ニュースソース検討中＠自治議論スレ
19/01/30 11:08:29.37 H2A6UcoM.net
>>205
3年前はそう考えるのが普通だった。
今は違う。
もうすこしAI勉強した方がいいよ。
団塊ならばあえて勧めないが
210:ニュースソース検討中＠自治議論スレ
19/01/30 15:55:41.01 m8lrV26Z.net
>>205
俺にそれを言ってどうすんの？
流れ読めよ
211:ニュースソース検討中＠自治議論スレ
19/01/30 15:58:01.88 m8lrV26Z.net
おう、ID変わってるな
>>205
こちらは182ね
で、言うべきは >>181に対してだろ
212:ニュースソース検討中＠自治議論スレ
19/01/30 16:05:02.12 m8lrV26Z.net
>>205
ブードゥー教のマジナイみたいなもんだからだよ
>>206
結局TensorFlowと学習頼みじゃん
それすら過学習があるし
213:ニュースソース検討中＠自治議論スレ
19/01/30 16:30:11.32 fl+MiKPV.net
心の中ではすでに溶けてるんだけどな（ぁ
214:ニュースソース検討中＠自治議論スレ
19/01/30 20:44:50.47 FBxyGBtj.net
>>200
>そんなに重要なもんなのかな
フェルマー予想然り、リーマン予想もその問題自体には
ぶっちゃけ意味がないと言い切ってもよい。
それを解こうとする事によって著しく数学の深部が刺激され
新しい概念の創造が湧き出てくる事が期待されるから
興味を惹かれている
215:ニュースソース検討中＠自治議論スレ
19/01/31 01:30:27.71 wAp2NP6J.net
>>174
最後の一歩を踏むとは違うアプローチで解いたから
大きな意義があったんじゃなかったっけ？
216:ニュースソース検討中＠自治議論スレ
19/01/31 05:05:36.83 Z5V9tvsB.net
望月さんの理論のわかりやすい概略
URLﾘﾝｸ(www.youtube.com)
217:ニュースソース検討中＠自治議論スレ
19/01/31 11:28:58.67 hOk7oVe0.net
>>211
◯か×で意味が大きく変わる事ってあるかな
P≠NPが証明されたらまぁそうだよねーだけど、P=NPだったら世界がひっくり返るみたいな
218:ニュースソース検討中＠自治議論スレ
19/01/31 15:11:25.79 LHXHJxZs.net
デープラーニングを使ったAIでサクッと解けるんじゃないの？リーマン予想
219:ニュースソース検討中＠自治議論スレ
19/01/31 16:25:35.15 XIQKU5P9.net
>>215
>>209
220:ニュースソース検討中＠自治議論スレ
19/01/31 19:37:26.04 gLQ3anFQ.net
AIは数学の証明は出来ない。補助的使用が出来るだけ。
AIは無限を扱え無いから。
221:ニュースソース検討中＠自治議論スレ
19/01/31 19:39:55.81 gLQ3anFQ.net
リーマン予想自体が良い例。
コンピュータを使って何万と言う解についてリーマン予想が正しいことが示せる。
しかし、そもそも解が無限にあるので、この方法では永遠に証明が終わらない。
つまり証明出来ない。
222:ニュースソース検討中＠自治議論スレ
19/01/31 19:39:58.99 0+NNNw0G.net
(ﾉД｀)ｱﾃｨﾔｰ
223:ニュースソース検討中＠自治議論スレ
19/01/31 20:12:30.50 xKo8+M8z.net
コンピュータでやってるのは証明というよりは反証だな
例外を見つければ終わりだから
224:ニュースソース検討中＠自治議論スレ
19/01/31 20:25:14.74 f8YY/K1T.net
天才は大体白人
225:ニュースソース検討中＠自治議論スレ
19/02/01 08:36:12.67 SHe3EpL+.net
>>221
うーん近代が白人が主体だから目立つので
しかも昨今の天才は白人いうても一部貴族とユダヤとアメリカからだろ
ダ・ヴィンチが天才かはしらないがあのあたりはラテンと中東まじってたし
日本の天才が日本人と一緒で変わるんじゃね？
まあ21世紀は中国とインド人がたまに天才だすわな
226:ニュースソース検討中＠自治議論スレ
19/02/01 17:39:05.88 CPG5++Bu.net
>>217,218,220
それは反論としてはシンプルすぎる。
最も過激な意見では、あと30年くらいで人間の脳の中の信号伝達を丸ごと
コンピュータでシミュレーションできるようになると言ってる人もいる
仮にそれが実現したら、人間の脳が思いつくことは全てコンピュータでも「思いつく」ようになる
227:ニュースソース検討中＠自治議論スレ
19/02/01 17:45:05.97 GK0bZe39.net
>>223
> 言っている
それを専門家が言ってるというなら酷い話だなｗ
株価操作のヨタ話と違う？
228:ニュースソース検討中＠自治議論スレ
19/02/01 18:14:08.33 CPG5++Bu.net
>>224
このへん
コンピューターが人間を超える日、「シンギュラリティー」は起こるのか
～米シリコンバレーで会議開催、インテルやIBMなどが研究内容を紹介
URLﾘﾝｸ(robot.watch.impress.co.jp)
なお、この話の中心人物は「これが実現する頃には俺は100歳近いが、
絶対に機械の体を手に入れるぜ」と毎日山ほどサプリメントを飲んで
ランニングマシンに乗ってるるらしい
でもこれって10年前の記事だけど
> モジャ博士は語る。同博士のチームはこのほど、実際の10分の1の速さで
> 機能するネズミの脳のシミュレーションに成功し、「2018年までには
> 人間の脳のスケールでシミュレーションが可能になる」と予測する。
これってどうなったんだろう
229:ニュースソース検討中＠自治議論スレ
19/02/01 18:31:33.70 5wNcxrdv.net
>>225
あぁ、それな
ムーアの法則がまだいけるんじゃないかって希望がちょっとあって
自動運転とかで盛り上がって金集めまくってた時の話な
EUVや多重露光のぽどまりwやスループットが予想より悪く実現が遠くなり
自動運転も微妙に見通しが悪くなったし
今の予想はかなり後退したよ
230:ニュースソース検討中＠自治議論スレ
19/02/01 18:44:51.53 GK0bZe39.net
>>225
ダメダメじゃん……
シンギュラリティなんて発明家発・SF作家のネタでしかない ヴィンジだっけか
231:ニュースソース検討中＠自治議論スレ
19/02/01 18:47:35.08 GK0bZe39.net
あっ、医療については多少期待してる
でも各分野が一斉に一線超える発展とか、ジャックポット・ディみたいなネタ話だろ
232:ニュースソース検討中＠自治議論スレ
19/02/01 18:52:41.32 CPG5++Bu.net
この辺か
2018年時点の批判的な記事
シンギュラリティは近いか
URLﾘﾝｸ(www.nagaitoshiya.com)
233:ニュースソース検討中＠自治議論スレ
19/02/01 18:54:12.16 g6zp7Vbi.net
>>225
まだweb上に残っていたのか、このサイト懐かしいな
234:ニュースソース検討中＠自治議論スレ
19/02/01 19:30:32.64 CPG5++Bu.net
>>230
DARPAグランド・チャレンジとかやってたころだよね
第1回は(市街地でない)砂漠の荒地でやったのに完走車が一台も無かったという
そう考えるとAIもそれなりに進歩したのか
で、シンギュラリティ界の親分のカーツワイル氏は「The Singularity is Nearer」
(シンギュラリティはより近づいた)という本を出す予定らしく、まだまだ元気みたいだ
旧作は「The Singularity is Near」(…は近い)
235:ニュースソース検討中＠自治議論スレ
19/02/01 21:42:58.50 cK/qSZYq.net
でもこの板で夢のAI語ってる人って、
カーツワイルの本読んでなさそうだよね
236:ニュースソース検討中＠自治議論スレ
19/02/02 00:02:32.71 EzN9b5Vk.net
>>221
アティヤの父親はレバノン人だけどね
237:ニュースソース検討中＠自治議論スレ
19/02/02 20:27:28.99 Zi9c/tRU.net
なぜAIスレになってるんだｗ
だいたい現在の「AI」なんて設計の枠から外れることのない
単なる便利な道具であって
知能とはとても呼べない
「ワイ、微細構造定数を導き出したで！しかも副産物でリーマン予想まで解けちゃった」とか耄碌したアティヤ氏の方が
ある意味よっぽと知能的だわ
238:ニュースソース検討中＠自治議論スレ
19/02/02 23:24:41.11 D3nx5Ps9.net
>>223 あのな猿。 シンプルだこそ反論にならんのだわ猿。 ｗ
240:ニュースソース検討中＠自治議論スレ
19/02/02 23:25:09.29 D3nx5Ps9.net
AIは数学の証明は出来ない。補助的使用が出来るだけ。
AIは無限を扱え無いから。
リーマン予想自体が良い例。
コンピュータを使って何万と言う解についてリーマン予想が正しいことが示せる。
しかし、そもそも解が無限にあるので、この方法では永遠に証明が終わらない。
つまり証明出来ない。
241:ニュースソース検討中＠自治議論スレ
19/02/02 23:25:56.08 D3nx5Ps9.net
猿はシンプルな問題を複雑に言おうとする。
猿はバカだから。
242:ニュースソース検討中＠自治議論スレ
19/02/02 23:29:03.90 D3nx5Ps9.net
>>223
↑
こういう猿に限って、「四色問題の証明なんてあんなもん認めんぞ」(ｷﾘｯ
とか言ってるもんなの。
そう言うもんなんだよ。
お前らはいつまでたっても猿に騙され続けるわけだがね。
243:ニュースソース検討中＠自治議論スレ
19/02/04 00:28:19.47 /fH3TYoS.net
リーマン予想ってそもそもなんなのけ？
244:ニュースソース検討中＠自治議論スレ
19/02/04 04:29:54.00 1fWUqtyn.net
AIに奪われるお仕事の一位が数学だよ。
最下位が風俗。
245:ニュースソース検討中＠自治議論スレ
19/02/04 16:09:34.25 kok0hqu/.net
>>240
お前が数学という学問がどういうものかを何も理解していないことが良くわかる投稿だな
246:ニュースソース検討中＠自治議論スレ
19/02/04 16:16:50.07 JrkciU
247:+w.net
248:ニュースソース検討中＠自治議論スレ
19/02/04 19:58:48.46 NmsgguSf.net
>>222
ラテンと中東も白人なんだが
249:ニュースソース検討中＠自治議論スレ
19/02/05 10:30:27.73 015EcF5v.net
インド人もほとんどが白人
250:ニュースソース検討中＠自治議論スレ
19/02/05 18:38:17.43 ejtHHRU2.net
素数の逆数和の極限は無限大だけど
今見つかってる素数全部で逆数和を求めても4ぐらいにしかならないらしい
恐ろしい
251:ニュースソース検討中＠自治議論スレ
19/02/06 00:01:14.89 P78nTA4i.net
>>96
未解決問題で1番有名じゃね？
252:ニュースソース検討中＠自治議論スレ
19/02/06 13:41:16.78 fLn2xO8h.net
>>244
（ ゜◇゜）マジで？
253:ニュースソース検討中＠自治議論スレ
19/02/06 14:02:37.02 xZYRyx7m.net
>>247
解剖したら脳みそが色素少なくてピンク、つまり肌が黒いコーカソイド
254:ニュースソース検討中＠自治議論スレ
19/02/07 04:10:49.75 QIbuONih.net
>>221
白人以外も中国人や日本人の科学者がいるのと同じように黒人の科学者も当然いるがな
255:ニュースソース検討中＠自治議論スレ
19/02/09 17:26:38.89 fkupEPbu.net
仮にリーマン予想の証明が数学としては存在していても、
それを具体的に書き下すことあるいは理解することは不可能
であるかもしれない。
たとえ話をしめそう。 フォンノイマンのゲームの理論から
将棋は（千日手を禁止しているなら）先手必勝か後手必勝である。
そのどちらかは分かっていないが。もしも仮にそれを先手必勝
であるとしたとき、それをどうやって証明すれば良いだろうか。
（あるいは先手必勝ではないことをどうやって証明すれば良いだろうか。）
もしも総ての可能な手順を記述していってこの場合にはこうやる
ああやると書き出すかそれに近いような方法でしか証明の方法が
ないのだとすれば、そうしてそれを記述するのに何億ページも
かかるのだとしたら、確かに有限の記述量で証明が完結すると
言えるのだろうが、それを書き下せる人間は現実には居ない。
もしかすると何億ページ程度ならコンピュータでなら手順の
列挙ができるかもしれない。しかしもしも、状況はもっと悪くて、
宇宙に存在する原子の数よりも多い文字数でなければ記述しき
れないのだとしたら、たとえコンピュータを使っても書き下す
ことはできないわけだし、コンピュータが生きているうちに処理が
終わるはずもないだろう。つまり有限の長さの証明が可能だった
としてもそれを実際には行うことが物理的に不可能である可能性がある。
256:ニュースソース検討中＠自治議論スレ
19/02/10 00:11:44.24 7OYB46Lp.net
＞もしも総ての可能な手順を記述していってこの場合にはこうやる
＞ああやると書き出すかそれに近いような方法でしか証明の方法が
＞ないのだとすれば、そうしてそれを記述するのに何億ページも
四色定理の計算機による証明をディスるのね。
あれは美しくない、と考えて、美しい証明を探せばいいじゃない。
257:ニュースソース検討中＠自治議論スレ
19/02/10 06:46:57.13 25zi5+Dc.net
囲碁あるいはオセロの必勝法の証明をしてみれば良い。
オセロの場合でも、証明ができたとしてもそれを人間がはたして理解して、
（紙に書き留められたとしても）それを憶えて実際のゲームで実行できるかどうか。
人間が記憶しきれないほどの手順の複雑さだったら、それは人間には使えない証明だ。
４色問題のキーとなる部分は、不可避集合というものを人間が決定したこと。
後はそれを計算機でしらみつぶしに４色あれば塗れることを示せば良いだけだった。
塗り分けを見つけるのに手間が掛かるにしても、塗り分けられたというものが
正しいのかを確認するのは容易。今となっては大した量じゃ無い。
しかしもしも、不可避集合の数が有限でもその数が宇宙の原子の
個数を超えるほどあったなら、それを計算機で実行しようとしたって無理がある。
四色問題の場合には運良くそうではなかったが。
余談
258:： メモリが６４ＫＢの計算機、メモリサイズが１６ＭＢの計算機、 メモリサイズが１６ＧＢの計算機、メモリサイズが１ＴＢの計算機、。。。。 それぞれやれることにはそれぞれ限界があるだろう。 人間の脳がどのようにして思考をし、記憶をしているかはわからないが、 やはりその容量は無限であるはずはなくて、有限だと思われるし、 脳からの記憶の取り出しに掛かる時間や、メモリ帯域も限界があるはず。 すると、人間の脳を使ってその人間の寿命（２００年未満）の間に できる具体的な処理の容量は限られているから、一生かけても理解出来ない 読み通せない証明とかが存在することになる。たとえ数学的にはそれが 有限の長さで証明可能なものであったとしても。 つまり短いエレガントな証明が存在せず、場合を尽くして検証しなければ ならない場合には人間には無理でも今なら計算機で処理できればラッキーだが、 どんな計算機ですら無理な場合だってあり得る。 アリにはできないが猫にはできること、 猫にはできないが人間には理解できること、 人間には理解できないが宇宙人Ａには理解出来ること、 などのように、処理する個体の能力の限界によって 実際に記述可能な証明の階層が存在するかもしれない。 四色問題もおそらくメモリのサイズが１ＫＢ程度であれば、 （外部記憶装置はないとする） 証明を実行しようとしても完結できないので、１ＫＢのメモリ のマシン上では証明が不可能（証明の実施が不可能）、 あるいは証明の検証も不可能ということになるはず。 証明可能な命題であっても、それの証明を実際に実施するのには 必要な最小メモリ量が存在するはずだろう。
259:ニュースソース検討中＠自治議論スレ
19/02/10 10:19:18.66 HPwSKvdv.net
>>8
NHKのこの手の奴はレベルが低い。
金のかけ方がおかしい。
スカパーのドキュメンタリーチャンネル３兄弟で見た方が良い。
260:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています