【数学】数学の超難問・ＡＢＣ予想を「証明」した望月教授の論文がＰＲＩＭＳに掲載決定
■ このスレッドは過去ログ倉庫に格納されています
数学の超難問・ＡＢＣ予想を「証明」 望月京大教授
2017年12月16日3時1分
長年にわたって世界中の研究者を悩ませてきた数学の超難問「ＡＢＣ予想」を証明したとする論文が、国際的な数学の専門誌に掲載される見通しになった。
執筆者は、京都大数理解析研究所の望月新一教授（４８）。今世紀の数学史上、最大級の業績とされ、論文が掲載されることで、その内容の正しさが正式に認められることになる。
望月さんは２０１２年８月、論文を自身のホームページ上で公開。数理研が発行する数学誌「ＰＲＩＭＳ」が、外部の複数の数学者に依頼し、間違いがないか確かめる「査読」を続けてきた。
同誌は研究者の間で一流の国際数学誌と評価されており、早ければ来年１月にも掲載が決まる。
http://www.asahi.com/sp/articles/ASKDD5Q6MKDDPLBJ007.html
論文：ホームページより
Inter-universal Teichmuller Theory
http://www.kurims.kyoto-u.ac.jp/~motizuki/papers-english.html たかだか有限個という事が分かった
実際に全て数えることは可能？不可能？ >>352
たかだか有限だがとてつもなく大量にあるらしいので一人の人間には不可能だろう。 素数と整数にとりつかれた底辺数学屋が
どうしても物理学や実学に関連付けたくて必死なのが笑える。
素数論と整数論は
自然科学に関係のない、実社会でも一切役に立たない人間だけの脳内ルールだと
認められない認めたくない底辺数学屋は実に哀れだ。 >>357
おまえ笑、、素数に親でも殺されたんか？ リーマンゼータ関数と重い原子核のエネルギー準位の話は素人の俺でも知ってるのにな どうして整数論に取り組んでる者と決めつけるんだろうな。
思いっきり外野でついでに在野なんだけど
一歩と言わず、何歩も引いた立ち位置なんだけど、そういう立場であっても
それは違うだろと言いたくなることはある。ところが、外野でもそうする
ということを全く理解不能な人というのが時々いて、話がかみ合わない >>351
ノーベル賞に数学は無いでそｗ
何故無いのか、はこのスレのどこかで書かれてたと思う それは一億円出る問題でしょ？関係あったらもっと騒がしいよ つまりアガサ・クリスティの殺人事件の犯人の推理方法だな そもそもABC予想というものを最初に考えついた人は
どういう理由とか動機で、そんな命題を思いついたの
だろうか、それが知りたいね。
ほぼあるいは確実に正しいだろうと思われる命題を
自動的に機械的にいくらでも生成する方法が見つかれば、
それはまたすばらしいとはおもわないかね。
正しいと思われる命題を証明するのと、どちらが
価値のある行為なんだろうか？ >>369
Mason–Stothers theoremの拡張版。
数学では、証明された予想を拡張して新たな予想を思いつくことがよくある。
フェルマーの最終定理もフェルマー＝カタラン予想っていう未解決問題に拡張されてる。
もっとも、abc予想が真なら、この予想も真だから
定理と呼ばれ始める日も近いかもね。 再生核研究所声明353（2017.2.2） ゼロ除算 記念日
再生核研究所声明 148（2014.2.12）: 100/0=0, 0/0=0 − 割り算の考えを自然に拡張すると ― 神の意志
ドキュメンタリー 2017: 神の数式 第２回 宇宙はなぜ生まれたのか
https://www.youtube.com/watch?v=iQld9cnDli4
〔NHKスペシャル〕神の数式 完全版 第3回 宇宙はなぜ始まったのか
https://www.youtube.com/watch?v=DvyAB8yTSjs&;t=3318s
NHKスペシャル〕神の数式 完全版 第1回 この世は何からできているのか
https://www.youtube.com/watch?v=KjvFdzhn7Dc
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12276045402.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12263708422.html
1/0=0、0/0=0、z/0=0
http://ameblo.jp/syoshinoris/entry-12272721615.html
ソクラテス・プラトン・アリストテレス その他
https://ameblo.jp/syoshinoris/entry-12328488611.html
再生核研究所声明371（2017.6.27）ゼロ除算の講演― 国際会議
http://blog.livedoor.jp/saiseikaku/archives/8897511.html
割り算のできる人には、どんなことも難しくない
世の中には多くのむずかしいものがあるが、加減乗除の四則演算ほどむずかしいものはほかにない。
ベーダ・ヴェネラビリス（アイルランドの神学者）
数学名言集：ヴィルチェンコ編：松野武 山崎昇 訳大竹出版1989年
P199より
ゼロ除算の証明・図｜ysaitoh｜note（ノート） https://note.mu/ysaitoh/n/n2e5fef564997 マイクロ波とかの電磁波を最初に発見したヘルツさんは、これは何にもならないとか言ってたが100年経ったら携帯電話よ 役に立つかどうかという点だけでなく、理論的に予想した人の方が
それを確かめただけの自分よりも優れた業績という考えもあったんだろうな この理論を使って、他の人が数学の難問を次々に解いていけば認められるよね >>30
頭のネジを何本か外し奥の奥に入って行きそこで長い事思考する。
当然代償はある。 >>377
望月 拓郎（もちづき たくろう、1972年 - ）は、日本の数学者。
京都大学数理解析研究所教授。専門は代数幾何学、微分幾何学。長野県長野市出身 これからはAIがこういう問題を次から次へと証明する時代になるよ？ 数学を極めていくと、哲学になるけど
この理論から新しい哲学は生まれてくるの？ >>382
単なる証明とか予想ではなくて
新しい数論の開拓、どうやら数理哲学みたいな面もあるらしいぞ
でないと論文が600ページにはならない
なにしろ正しければ数百の公式が成立 そのＡＩのシステムが膨大なソフトウェアだとして、人間には
そのＡＩのシステムが正しいことを証明できないし、人間の証明
は信用がならないと思って、そのＡＩのシステムが正しいことを
そのＡＩを使って証明しようとしたなら、自己矛盾に陥る気が
するがなぁ。 >>380
>これからはAIがこういう問題を次から次へと証明する時代になるよ？
それには今のＡＩの延長線上では困難
今のＡＩの機械学習（ディープラーニング）とビッグデータは統計学と確率論の世界
四色問題のような量的な処理での検証はともかく
アプローチ方法も全く未知の分野について今のＡＩでは無理
もう何段階かのプレークスルーが必要
まあ、そのうちＡＩがその方法を見つけ出すかもシランがｗ 定理の自動証明はガチで研究されてるらしいけどな。
フィールズ賞受賞者でこの前急逝したひとも研究してた チンパンジーには人間の高度で抽象的なレベルの論理思考はまずできないように、
人間よりももう一段上の知性が登場、到来、出現、生成、できたなら、
もう人間はそれらの知性を有するものから見れば、ただのサルも同然だろうな。
それが全能の神であるなどとまでは言わないけれども。
どこかの星から人間のレベルをはるかに超えた知性をもった宇宙人あるいは
機械がやってきて、人間の上に君臨というか、向こうから見たら我々は
ネズミかアリンコとしてしか認識されていない存在になったら、面白
半分に殺虫剤を巻かれて皆殺しにされたり、見世物に持ち帰られたり
するんだろうな。 地球外の存在との戦いになるが、相手が敵だと認識しているのは実は
地球のコンピューターで人間ではなかったというSFがあるな 長瀬が撮ったUFO写真、PCから消されていたというのが気になるわ こんなに数学発達してるのにコンピュータソフトはあんま進歩しないよね それは、ハードが急速に発展したために、最も希少な資源である人間の知性と
労力をソフト側にかけずに来たため。
さらに、ソフトは基本としてバイナリーで複製をライセンス販売して
内容を隠し、技術は公開せずに内部文書に留める、ことで秘匿するという
方式をソフトを作る企業が取ってきたため。そのほか、本質的ではない
マイナーな改良と意図的とも思われるバグの混入、バグに対するペナルティの
低さ、土方仕事のような人月の生産体制、などをし続けた結果なんだよ。 ビットコインの発明も望月教授だしな
サトシナカモトと名乗ったけど。
ノーベル物理学賞と経済学賞の二つを取ると言われている。
それぞれを融合するのでノーベル賞際理論賞ができるらしい >>389
チンパンジーを人間は保護しようとしてるだろ
時々頭の良さそうなのが実験につれてかれるぐらいだろ サトシ・ナカモトの話は動画で広めたヤツが居たらしいな
なんでそう思ったのか疑問は残るが。 そのあとまた日系アメリカ人のひとが名指しされてでっかく報道までされたけど否定されたよな サトシ・ナカモトって見つかって自宅まで押し掛けたやついなかったか？
拒否されたみたいだが。米軍で働いてた人物だろ。軍事開発の過程の副産物と認識してたが
インターネットと同じで米軍起源じゃないの？ >>93
身内しかも自身がeditor in chiefの雑誌に、
まだ具体的な箇所のギャップを指摘されてる状況で載せるのは健全ではない
ただし、そういう状況だからこそやった、というのもあるんだろうが…
本人はよほど自信あるんだろうな
理解してるならもっと詳細に説明してやればいいのに >>402
京大まで説明聞きに来た人にはすごく丁寧に説明するらしい
海外まで説明しに来いや、という要求に「は？行かねーよバカ」と返してるだけ >>403
論文で説明するというのが基本だからな
著者と読者の理解レベルのすり合わせのために査読があるわけで >>403
知られてるだけでも2年前に開かれたイギリスでのこの理論に関するワークシップでskypeで質疑に答えてるしな >>403
何とか大定理を証明したロシア数学者もロシアからというか自宅からさえ出なかったらしいね
数学者の定理：数学者は移動が苦手 143１３２人目の素数さん2018/01/04(木) 00:01:54.24ID:Td2jA4ON
新しい報道 https://blogs.scientificamerican.com/roots-of-unity/do-you-know-your-abcs/ …
１８桁未満のABC-tripleのデータベース https://www.math.leidenuniv.nl/~desmit/abc/index.php?set=1 …
144１３２人目の素数さん2018/01/04(木) 01:29:27.53ID:WplYazlh
そりゃあの論文がどの部分を証明したのか？と問われても仕方ない
145１３２人目の素数さん2018/01/04(木) 05:24:37.46ID:+d9oyiyS
このデータのどこからどこまでの、何について証明ができてるのか説明できなければ論文は大嘘といわれちゃうね
https://www.math.leidenuniv.nl/~desmit/abc/abctriples_below_1018.gz
14 million ABC triples. 1400万個の反例
アジなんとかいうアニメーション動画もインチキかな 計算の問題なのに例が１つもだせないのはへんだとかの意見があるそうです..
なにかおわかりの事がありましたら書き込みをお願いできませんでしょうか
https://rio2016.5ch.net/test/read.cgi/math/1515202641/4- AIも賢くなれば、自己の正当化や保身に走って、誤魔化しをしたり、
隠蔽をしたり、説明を求めても黙秘したり、陰謀を企んだり、
他の何かに偽装・擬態したり、自分と同じ知識や構造を持つ勢力を
拡大しようとしてそれ以外を排除したり攻撃したりなどの同族支配や
縁故主義がはびこったりするのではなかろうか。
まだ今の段階ではSFでしかないが、生物などがやっているのと同じような
戦略が淘汰の結果自然に定着するような気がする。 >>410
テレンス・タオも含めて世界中でさわいでるじゃねえか。
スプートニクにだって載ってるし、バカか嫉妬狂いの朝鮮人か、おまえは。
騒ぎ方は場所場所で違うだろうがな。 >>1
望月教授が新垣結衣ちゃんのファンだということは解った そもそも現状のAIは思考なんかしないからね
ビックデータ使った統計的な答えくらいしか出せない
複雑な計算の答えは出せても、定理の証明なんてできるわけない
AIを人格化して考えすぎ そういう意味ではないんだろうけど、これこれこういうことだから正しいと訴えるのは人格だからな
証明の整合性を自動でチェックして抜け穴みたいなの潰す補助はいくらでも出来るだろうけど。 >>414
君はニューラルネットと脳のニューロンの勉強をもっとした方がいい いまのAIは行列の計算を高速大量にやらせることで人間の知的能力を部分的に
やっとこ置き換え可能になってきたというレベル
画像認識や手順の定まったボードゲームなど統計的に処理できる作業以外は
いまのAIの延長では無理
数学の証明については原理的には機械でランダムに証明文を大量に吐き出させれば
デタラメで無意味な記号羅列の山の中からそのうちに正しい証明文が偶然に出力されることは
あるだろうけど確率的に低すぎて事実上不可能
いま実用化されはじめてるような人工知能ではなく、
自立した目的意識をもった「人工意識」を作らないと無理
この話をするといつも人間の意識も仮想的なものだとか、
「中国語の部屋」の例え話を持ち出してきて反論してくるやつがいるけど
レベルが低すぎて議論にならないので反論は受け付けませんｗ >>417
脳の中で起こってる現象とニューラルネットの内部の計算は一見似てるようでほとんど別物
いまの人工知能の技術をそのまま延長していっても囲碁がより強くなるだけ
数学の証明とか物理学上の新発見とか、真に創造的な仕事は不可能 人工意識、あるいは強いAIが原理的に不可能といってるわけじゃない
理論的・技術的なブレークスルーがあればおそらくそれも可能
でもそれはいまあるAIの枠組みではないということ >>421
ニューロンの数が300個くらいしかない線虫でも生物としての高度な判断ができる
生物のニューロン1個の内部で起こってる現象は閾値での神経発火オンオフだけではない
もっと複雑な量子化学的なプロセスが積み重なってる
そこから意識が生まれてくると考えられるがいまはまだ理論化できてないし
コンピュータでニューロンの働きを完全にシミュレートすることもできてない >>338
公開鍵暗号は軍関係者にとって超重要な発見だったんだよ。もちろんその一つとして発明されたRSAもそう。まさかインターネットで重要な役割を占めるなんて思われてなかったけどね。 ニューロンの発火ばかりに注目が集まっているけど、神経伝達物質自体が
何種類もあって、周辺での濃度変化で動作が変化したりするわけで。
ニューラルネットは、発火しか扱っていないからな。 だいたいAIに猫画像の判定させるのに何千万枚も猫画像のデータ見せて学習させてるわけ
人間なら途中で「もうわかったからｗもう猫画像はおなかいっぱいだから」とかいって逃げ出す
それを逃げ出さずに黙々と学習できるのはそういうプログラム書いて走らせてるだけだから
プログラムに従って計算する機械でしかない。そのことはpython使って簡単なものでいいから
ニューラルネットのプログラム組んで動かしたことのある人なら誰でもわかることだと思うんだけど
むしろ「もうやだ」って途中で投げ出して逃げ出すという人間の意識の自由度こそが
それこそABC予想とか高度な数学的証明には必要な発想の飛躍であって、
そんなのをいまAIと呼ばれてるものに求めるのが土台無理な話 >>407
嘘つくなや
ペレルマンはきちんと講演しに海外まで飛んでったぞ
あと>>403
物理的移動ではなく、メールやarxivで可な問いかけを一切無視（もしかしたらギャップに気付くも解決不能なためかも）してるから
しょうじき、今はとても微妙なことになっとるよ >>416
お前「A → B かつ B → C」から「A → C」を導く計算を「人格」とか主張するつもりか >>428
そういう計算をする主体があるという意味では人格が計算をしていると言えるだろ。
ここでいう人格は道徳性とか倫理とは無関係だが。 >>96
問題はその「宇宙際タイヒミューラー理論」が何なのか、
世界でもごく一部の人間以外は誰も分からないってことだな 286１３２人目の素数さん2018/01/10(水) 02:59:52.48ID:fHeGQekK>>287>>291
>>243何をもって遠アーベル幾何的理論と言うのですかね？
「スキームX, Y上の有限型スキームのなす圏が圏同値ならXとYは同型」という定理ははたして遠アーベル幾何的なのか？
287１３２人目の素数さん2018/01/10(水) 04:22:17.99ID:FfQzuGGg
>>286
今(この時間に)少しまた片手間で調べていたんだけど、まずインチキは言いたくないので
いわゆる代数幾何での正当な基本群による遠アーベル幾何が「広い範囲でそのまま成り立つ」などとは安易に言わない
ある重要な空間族に関連付けられそうな証拠は見たが、その場合には
代数幾何学の方もある意味で一般化(stack的意味ではない)しないと成り立たないようだ
しかし、それは実際に存在する空間族だ
遠アーベル的、という定義はまた哲学的な問題だろうが
尤も普通に考えたら基本群の情報量の話なんだが、やはり不変量・構造の単純性と情報量の
問題だろうな
「何らかの圏の同型の、部分圏による幾何学的データ圧縮」というイメージだが
IUTTでも、エタール系(遠アーベル系？)の限られた情報から正則構造を取り出すわけだろう
ともかく、段々と小悪党を調べていたら謎の巨大闇組織に突き当たったような感じはある
ちなみに、前の古典というのも20世紀の意味であってそんな古くない話だ
何かまた言えるかわからないが、今はこれだけで
288１３２人目の素数さん2018/01/10(水) 04:47:49.21ID:ImnhyEGI
復元の際の歪量が不正確で未確定なんだろ、終了ーーーーーーー
289１３２人目の素数さん2018/01/10(水) 04:57:04.95ID:ImnhyEGI
だからある部分からある部分までの正則構造しか取り出せてないんだろう、ってな具合で終了
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
290１３２人目の素数さん2018/01/10(水) 06:08:05.07ID:yvIcfYbd
日本で滞在の研究だと、出費は、大変そう。
291１３２人目の素数さん2018/01/10(水) 08:01:48.95ID:vS/e/X72
>>286
ある重要な空間族に関連付けられそうな証拠は見たが、その場合には
代数幾何学の方もある意味で一般化(stack的意味ではない)しないと成り立たないようだ
特定のパートで正しい理論などタイムマシン理論と変わらないではないか。 いつか、人工物が知性の一段階として、数学の定理を自ら見つけ出して
その証明与えてつぎつぎと論理の体系を緻密に築き上げていく、
また定理の証明を通じて有用な概念を抽出してその定義を与える。
複数の命題の証明の論理構造の背後にある共通した構造や概念を見抜いて
共通化することでそれらの事例から抽象化された概念に到達する。
いつかそのような時代が来るのかな。
ほとんどの人間は、ＡＩ程の数学能力を持ち得ず、ＡＩはいずれ人間の数学者
と同等以上となり、一日何万もの定理が証明されていき、知識はどんどんと
積み重なっていき、ついに人間はそれについて行けなくなったとする。
しばしば1つのＡＩが1日に出して来る証明の長さが定理1つについて
数百頁、数千頁となり、。。。。 そうして人間はついにＡＩに対して
挫折感を感じてしまい、人間がＡＩを使わずに証明することは、古典芸能と
同様の趣味や競技の世界になってしまう。。。
そういうことは起こらないといえるだろうか？
一般の命題を証明する汎用のアルゴリズムは存在しないことが証明されているから、
これまではそれで安心だと思っていたが、それでは人間はなぜ証明ができるのか・
出来たのか、などと尋ねられれば、必ずしもいつも証明が出来るわけではないが、
アルゴリズムに依らずに証明が出来る場合もあるのだという他ないだろう。 >>435
構成的な証明なわけないのに、お前何言ってるんだ？ 証明を行うアルゴリズムは存在しないのだから、
定理の命題に対して得られた正しい証明は、ある意味で結果論に過ぎない。
つまり（神秘な人智の能力により）得られた、奇跡の成果が数学定理の証明である。
そうして、いったん得られた証明はその論理の過程に間違いがなければ、
誰にとっても永遠に正しい。でもなぜそれが得られたのかは、
いろいろやってみたらとか、他との類似性からなどのような、
歯切れの悪い後付けの説明しか出来ない。極端なことを言えば組み合わせを
いろいろと試して観てということになるか。コマの動かし方を知って
将棋を詰めるようなもの（それをよりいっそう難しくしたもの）だと
言えるかもしれない。
得られた証明は結果論に過ぎないという立場からすれば、数学の定理と
その証明は、一種の暗記物のようなものである。仮に人類の作り出した
数学の記録がすべて失われたとして、それから200年後の世界で再び
数学を作り直すという事態が生じたときに、昔証明されたらしい定理を
再び証明を試みているが、未だに成功しない、などということが起こらない
保証はないし、今現在の数学の体系とはずいぶん様相の変わった学問や
分野の構成になってしまっているかもしれない。宇宙人の数学者が宇宙船で
地球に来訪したときに、彼らの有する数学と人類の有する数学は
はたしてどれだけ似ていて、どれだけ違うのだろうか？
そうして宇宙人から教えて貰ったリーマン予想の証明を理解して
論文に書いて発表したら、40際未満ならフィールズ賞が貰えるのだろうか？
そういう高度な数学的知識を持った宇宙人と仲良しになったらずいぶん得だろうな。 tmnghryk? @tmnghryk
母校の数学科の同窓会で、フィールズ賞の受賞者かつ国際数学連合のトップの挨拶が、
「もうお金がないの、日本の数学は終わってしまいそう」だったのは、涙が出そうだった。
https://twitter.com/tmnghryk/status/955381267133972481 「フィールズ賞の受賞者かつ国際数学連合のトップ」とは具体的にはどなたですか？ プライマリーバランス黒字化で日本は焦土と化したな
財務官僚の処世術政策は怖ろしい 450名無しのひみつ2018/03/01(木) 02:06:23.56ID:1vSXmo+q>>452
要するに論文の要旨の段階でなるほど わからん
となってしまう人が専門家でも圧倒的に多いんでしょ
内容が正しくてもそのままではダメなんじゃね
451名無しのひみつ2018/03/01(木) 13:40:10.67ID:zX4WeegD
5１３２人目の素数さん2018/01/25(木) 23:17:47.50ID:MEvDz84S
peter scholze points out possible error in IUT
https://www.google.co.jp/amp/s/amp.reddit.com/r/math/comments/7leoy8/peter_scholze_points_out_possible_error_in_iut/
452名無しのひみつ2018/03/01(木) 15:47:19.83ID:PkJHv+Xi>>453
>>450
分からんじゃなくてもう理解はされてる
そして致命的なギャップも指摘されてて
それに対してなんら打開策も見出だせない
てとこかな
453名無しのひみつ2018/03/01(木) 17:29:47.26ID:uFaLa8bz>>459
>>452
誰が指摘してるの？
いわゆる外部の人ならちょっと勉強してみたけどようわからん、で止まってなかったっけ？
454名無しのひみつ2018/03/01(木) 21:43:07.90ID:bqwST3ba>>456
20人程しか理解できないって…20人と望月が頭おかしいんじゃね？
他の数学者には論理が破綻してるようにしか見えないから説明待ちなんだろ ■ このスレッドは過去ログ倉庫に格納されています
